Bug Fixes:
- Fixed bug in process management of dedicated server, enhanced 'servers' command to output PIDs
- Fixed problem that Main Menu was not correctly displayed on some PCs
Changes / Improvements:
- Enhanced log file handling on dedicated servers: To avoid overwriting, log filenames of dedicated and playfield servers now contain a timestamp
- Fixed bug in process management of dedicated server, enhanced 'servers' command to output PIDs
- Fixed problem that Main Menu was not correctly displayed on some PCs
Changes / Improvements:
- Enhanced log file handling on dedicated servers: To avoid overwriting, log filenames of dedicated and playfield servers now contain a timestamp