Actually added server-shutdown function