[FIX] Correctly resolve command-line options for stopping server.