Fixed some problems with automatic port selection.

src/ippc_wrapper/ippc_planner.cpp

@@ -12,7 +12,7 @@ IppcPlanner::IppcPlanner(const ConfigReader& config_reader)
     planner_path = config_reader.get_path("planner_path");
     planner_port = config_reader.get_variable<uint>("planner_port");
     if (planner_port == 0) { // auto selection
-        planner_port = utils::get_socket_from_current_dir_hash() + 1;
+        planner_port = utils::get_socket_from_current_dir_hash() + 5000;
     }
 //     ippcserver.start_session();
 //     ippcserver.start_round();

src/symbolic/utils.cpp

@@ -5,7 +5,7 @@ uint utils::get_socket_from_current_dir_hash()
 {
     boost::filesystem::path full_path = boost::filesystem::current_path();
     boost::hash<std::string> string_hash;
-    return (string_hash(full_path.generic_string()) % 10000000) + 10000; // [10.000, 10.010.000]
+    return (string_hash(full_path.generic_string()) % 10000000) + 20000; // [10.000, 10.010.000]
 }