Ticket #44900

Make server_quit() and srv_main() fcnoreturn

Open Date: 2022-06-22 04:37 Last Update: 2022-07-01 06:26

Reporter:
Owner:
Type:
Status:
Closed
Component:
MileStone:
Priority:
5 - Medium
Severity:
5 - Medium
Resolution:
Fixed
File:
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
  • Owner Update from (None) to cazfi
  • Resolution Update from None to Accepted
2022-07-01 06:26 Updated by: cazfi
  • Status Update from Open to Closed
  • Resolution Update from Accepted to Fixed

Edit

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