Issue #21: Server stop function doesn't work