void callback(std::string line);
void write(std::string text);
void terminate();
+ void eof();
private:
virtual void v_disablePrompt();
char promptBuffer_[1024];
SchedulerBinding schedBinding_;
bool terminate_;
+
+ char * savedLineBuffer_;
+ int savedPoint_;
+ int savedEnd_;
+ int savedMark_;
};
/** \brief Internal: Safe GNU readline based ClientReader implementation