diff --git a/Common/onelab.h b/Common/onelab.h
index 75b0d71e9789904972df19ddf83ca4074f39bf05..73764d4069678cc91af5e08b99f9f648642d5a30 100644
--- a/Common/onelab.h
+++ b/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
     {
diff --git a/Fltk/onelabWindow.cpp b/Fltk/onelabWindow.cpp
index cf2f15337c116c9a02d25df55a797fe6c8e055c1..2c1213507a195731462a1df2028c39b4fba06e67 100644
--- a/Fltk/onelabWindow.cpp
+++ b/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)