restart should try to stop the server gracefully before killing it

anderbubble / civilfritz-minecraft

Puppet module for installing and managing a Minecraft server

0 stars 0 forks source link

Closed anderbubble closed 11 years ago

anderbubble commented 11 years ago

This was fixed as a side-effect of the refactor I did in a2138c1d879841938fbef60dcd68ad2665d0d262.