Update app.py

app.py

@@ -570,7 +570,10 @@ async def handle_user_input(websocket,key, process, connected):
 def process_input(user_input, process):
     if process:
         try:
-            process.stdin.write(user_input.encode('utf-8') + b'\n')
+            if user_input=='Ctrl+C':
+                process.send_signal(signal.SIGINT)
+            else:
+                process.stdin.write(user_input.encode('utf-8') + b'\n')
             #process.stdin.flush()
         except Exception as e:
             # print(f"Error writing to process stdin: {str(e)}")