Make server_quit() and srv_main() fcnoreturn

• Rapporteur: cazfi
• Propriétaire: cazfi
• Type: Patches
• État: Atteints
• Composant: Server
• Jalon: 3.2.0
• Priorité: 5 - moyen
• Sévérité: 5 - moyen
• Résolution: Fixed
• Fichier: 1

Détails

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

• Propriétaire Update from (Aucun) to cazfi
• Résolution Update from Aucun to Accepted

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

• État Update from Ouvert to Atteints
• Résolution Update from Accepted to Fixed