From cfbbdc7216ae43a2dc78e287aed5adba5cf6e3c1 Mon Sep 17 00:00:00 2001
From: Martin Michelsen <fuzziqersoftware+g@gmail.com>
Date: Sat, 10 Feb 2024 20:35:34 -0800
Subject: [PATCH] add nop command in shell

---
 src/ServerShell.cc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/ServerShell.cc b/src/ServerShell.cc
index 65c845bd..d32b2a12 100644
--- a/src/ServerShell.cc
+++ b/src/ServerShell.cc
@@ -99,7 +99,10 @@ void ServerShell::execute_command(const string& command) {
     command_args = command_args.substr(args_begin);
   }
 
-  if (command_name == "exit") {
+  if (command_name == "" || starts_with(command_name, "//")) {
+    // Do nothing
+
+  } else if (command_name == "exit") {
     throw exit_shell();
 
   } else if (command_name == "help") {