Searched refs:SERVER_STARTED (Results 1 – 1 of 1) sorted by relevance
70 if [ "$SERVER_STARTED" ]; then82 SERVER_STARTED=1