Make server_quit() and srv_main() fcnoreturn

• Relator: cazfi
• Dono: cazfi
• Tipo: Patches
• Estado: Fechado
• Componente: Server
• Marcos: 3.2.0
• Prioridade: 5 - Medium
• Gravidade: 5 - Medium
• Resolução: Fixed
• Arquivo: 1

Details

server_quit() and srv_main() (which exits only via the former) should be marked fcnoreturn.

Ticket History (3/4 Histories)

2022-06-22 04:37 Updated by: cazfi

• New Ticket "Make server_quit() and srv_main() fcnoreturn" created

2022-06-22 05:14 Updated by: cazfi

• File 0060-Make-server_quit-and-srv_main-fc__noreturn.patch (File ID: 9582) is attached

2022-06-22 05:14 Updated by: cazfi

• Dono Update from (Nenhum) to cazfi
• Resolução Update from Nenhum to Accepted

2022-07-01 06:26 Updated by: cazfi

• Estado Update from Aberto to Fechado
• Resolução Update from Accepted to Fixed