Affects Version/s: Minecraft 1.5.2, Minecraft 1.6.1, Minecraft 1.6.2, Minecraft 1.7.1, Minecraft 1.7.2
Fix Version/s: None
Environment:debian linux, java version 1.7. I have tested with both openjdk and oracle.
Sending SIGTERM to minecraft server doesn't always properly shutdown.
Sometimes when I send SIGTERM it appears to shutdown properly like so.
2013-06-04 00:37:53 [INFO] Closing listening thread
2013-06-04 00:37:53 [INFO] Saving players
2013-06-04 00:37:53 [INFO] Saving worlds
2013-06-04 00:37:53 [INFO] Saving chunks for level 'world'/Overworld
Other times I only see
java.net.SocketException: Socket closed
at java.net.PlainSocketImpl.socketAccept(Native Method)
So I am unaware if the world was properly saved in these cases.
It would also be nice if other common signals were supported, for example HUP and SIGUSR2.