#44898: place_map_labels "Execution time limit exceeded in script"
Open Date: 2022-06-21 21:15
Last Update: 2024-06-04 04:01
URL for this Ticket:
https://osdn.net//projects/freeciv/ticket/44898
RSS feed for this Ticket:
https://osdn.net/ticket/ticket_rss.php?group_id=12505&tid=44898
---------------------------------------------------------------------
Last Changes/Comment on this Ticket:
2024-06-04 04:01 Updated by: cazfi
* Status Update from Open to Closed
* Resolution Update from Accepted to Fixed
---------------------------------------------------------------------
Ticket Status:
Reporter: cazfi
Owner: cazfi
Type: Patches
Status: Closed
Priority: 5 - Medium
MileStone: S3_2 d3f
Component: Server
Severity: 5 - Medium
Resolution: Fixed
---------------------------------------------------------------------
Ticket details:
Running civ2civ3 server with moderately big map on valgrind (-> slow!) results in "Execution time limit exceeded in script" for place_map_labels.
Of course I can make my local build for this use-case with modified execution time constant, but I wonder if we should somehow cater for this? Make it runtime setting?
--
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/44898
RSS feed for this Ticket:
https://osdn.net/ticket/ticket_rss.php?group_id=12505&tid=44898