TAG: server startup script