closeConnection();
}
+ /// clean up in emergency
+ void emergencyCleanup();
+
/// Send message
void send(string const &);
static void callback(int fd, void *v);
private:
+ /// the filename of the in pipe
+ string const inPipeName() {
+ return pipename + ".in";
+ }
+
+ /// the filename of the out pipe
+ string const outPipeName() {
+ return pipename + ".out";
+ }
+
/// Open pipes
void openConnection();
/// Close pipes
void closeConnection();
+ /// start a pipe
+ int startPipe(string const &, bool);
+
+ /// 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);