Shut down the engine when the last tab is closed

src/shared/Communication.h

 #ifndef COMMUNICATION_H
 #define COMMUNICATION_H
 
 #include <memory>
 #include <sstream>
 #include <stdexcept>
 #include <stdint.h>
 #include <string>
 #include <vector>
 #include <Windows.h>
@@ skipping 153 matching lines @@
   public:
     PipeConnectionError();
   };
 
   class PipeBusyError : public std::runtime_error
   {
   public:
     PipeBusyError();
   };
 
+  class PipeDisconnectedError : public std::runtime_error
+  {
+  public:
+    PipeDisconnectedError();
+  };
+
   class Pipe
   {
   public:
     enum Mode {MODE_CREATE, MODE_CONNECT};
 
     Pipe(const std::wstring& name, Mode mode);
     ~Pipe();
 
     InputBuffer ReadMessage();
     void WriteMessage(OutputBuffer& message);
 
   protected:
     HANDLE pipe;
   };
 }
 
 #endif