Closed iammattcoleman closed 2 years ago
Check if monitor.pid exists before attempting to read from it. This prevents the following error from appearing when stopping a server:
cat /opt/mscs/worlds/example/monitor.pid: No such file or directory
Thanks for the patch @iammattcoleman. I had noticed this issue before, but never got around to fixing it.
Check if monitor.pid exists before attempting to read from it. This prevents the following error from appearing when stopping a server:
cat /opt/mscs/worlds/example/monitor.pid: No such file or directory