signal handling Minecraft Servers

signal handling