#44900: Make server_quit() and srv_main() fcnoreturn
Open Date: 2022-06-21 22:37
Last Update: 2022-06-21 23:14
URL for this Ticket:
https://osdn.net//projects/freeciv/ticket/44900
RSS feed for this Ticket:
https://osdn.net/ticket/ticket_rss.php?group_id=12505&tid=44900
---------------------------------------------------------------------
Last Changes/Comment on this Ticket:
2022-06-21 23:14 Updated by: cazfi
* Owner Update from (None) to cazfi
* Resolution Update from None to Accepted
---------------------------------------------------------------------
Ticket Status:
Reporter: cazfi
Owner: cazfi
Type: Patches
Status: Open [Owner assigned]
Priority: 5 - Medium
MileStone: 3.2.0
Component: Server
Severity: 5 - Medium
Resolution: Accepted
---------------------------------------------------------------------
Ticket details:
server_quit() and srv_main() (which exits only via the former) should be marked fcnoreturn.
--
Ticket information of Freeciv project
Freeciv Project is hosted on OSDN
Project URL: https://osdn.net/projects/freeciv/
OSDN: https://osdn.net
URL for this Ticket:
https://osdn.net/projects/freeciv/ticket/44900
RSS feed for this Ticket:
https://osdn.net/ticket/ticket_rss.php?group_id=12505&tid=44900