move onelab to \0 char sep

Common/onelab.h

@@ -104,7 +104,7 @@ namespace onelab{
       return _attributes; 
     }
     const std::set<std::string> &getClients() const { return _clients; }
-    static char charSep() { return '|' /* '\0' */; }
+    static char charSep() { return '\0'; }
     static double maxNumber() { return 1e200; }
     std::string sanitize(const std::string &in) const
     {

Fltk/onelabWindow.cpp

@@ -699,7 +699,10 @@ static void onelab_remove_solver_cb(Fl_Widget *w, void *data)
 
 static void onelab_dump_cb(Fl_Widget *w, void *data)
 {
-  printf("ONELAB dump:\n%s\n", onelab::server::instance()->toChar().c_str());
+  std::string db = onelab::server::instance()->toChar();
+  for(unsigned int i = 0; i < db.size(); i++)
+    if(db[i] == onelab::parameter::charSep()) db[i] = '|';
+  printf("ONELAB dump:\n%s\n", db.c_str());
 }
 
 onelabWindow::onelabWindow(int deltaFontSize)