Fix !world not restarting minecraft server