closeConnection();
}
+ /// clean up in emergency
+ void emergencyCleanup();
+
/// Send message
void send(string const &);
/// Close pipes
void closeConnection();
+ /// start a pipe
+ int startPipe(string const &);
+
+ /// finish a pipe
+ void endPipe(int, string const &);
+
/// This is -1 if not open
int infd;
~LyXServer();
///
void notifyClient(string const &);
+
+ /// whilst crashing etc.
+ void emergencyCleanup() {
+ pipes.emergencyCleanup();
+ }
+
private:
///
static void callback(LyXServer *, string const & msg);