Send variable list with restart

MiniZinc · Jun 13, 2016 · 8b3c1db · 8b3c1db
1 parent 1f9902c
commit 8b3c1db
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/connector.cpp b/connector.cpp
@@ -140,7 +140,7 @@ namespace Profiling {
     sendOverSocket(node.get_node());
   }
 
-  void Connector::restart(const std::string& file_path, int restart_id) {
+  void Connector::restart(const std::string& file_path, int restart_id, const std::string& variableList) {
     // std::cerr << "restarting gist, restart_id: " << restart_id << "\n";
 
     message::Node dummy_node;
@@ -157,6 +157,8 @@ namespace Profiling {
     }
 
     dummy_node.set_label(name);
+    if (variableList.size() > 0)
+      dummy_node.set_info(variableList);
 
     sendOverSocket(dummy_node);
   }

diff --git a/connector.hh b/connector.hh
@@ -59,7 +59,7 @@ namespace Profiling {
     void connect();
 
     // sends START_SENDING message to the Profiler with a model name
-    void restart(const std::string& file_path = "", int restart_id = -1);
+    void restart(const std::string& file_path = "", int restart_id = -1, const std::string& variableList = "");
 
     void done();