Ticket #44900

Make server_quit() and srv_main() fcnoreturn

Date d'ouverture: 2022-06-22 04:37 Dernière mise à jour: 2022-07-01 06:26

Rapporteur:
Propriétaire:
Type:
État:
Atteints
Composant:
Jalon:
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
  • 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

Modifier

You are not logged in. I you are not logged in, your comment will be treated as an anonymous post. » Connexion