From 2fecb456a4172cf0ac84c4adf6154cf925bb65ca Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sat, 14 Feb 2015 08:00:24 +0000
Subject: [PATCH] fix -listen
---
Common/CommandLine.cpp | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Common/CommandLine.cpp b/Common/CommandLine.cpp
index 55cffc680e..26435c0944 100644
--- a/Common/CommandLine.cpp
+++ b/Common/CommandLine.cpp
@@ -874,11 +874,11 @@ void GetOptions(int argc, char *argv[])
Msg::Fatal("Missing format");
}
else if(!strcmp(argv[i] + 1, "listen")) {
-#ifndef HAVE_ONELAB2
+ i++;
+#if !defined(HAVE_ONELAB2)
CTX::instance()->solver.listen = 1;
#else
CTX::instance()->batch = 1;
- i++;
if(argv[i]) {
CTX::instance()->onelab.listen_port = atoi(argv[i++]);
}
--
GitLab