Make server_quit() and srv_main() fcnoreturn

• Informador: cazfi
• Propietario: cazfi
• Tipo: Patches
• Estado: Cerrado
• Componente: Server
• Hito: 3.2.0
• Prioridad: 5 - Medium
• Gravedad: 5 - Medium
• Resolución: Fixed
• Fichero: 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

• Propietario Update from (Ninguno) to cazfi
• Resolución Update from Ninguno to Accepted

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

• Estado Update from Open to Cerrado
• Resolución Update from Accepted to Fixed