From 58a3d2bbb6ff2520186af65e47968b11e3ee3afc Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Thu, 2 Jul 2015 05:43:13 +0000
Subject: [PATCH] don't create gui!
---
Common/OS.cpp | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/Common/OS.cpp b/Common/OS.cpp
index 666101d70c..d78fb9f515 100644
--- a/Common/OS.cpp
+++ b/Common/OS.cpp
@@ -576,12 +576,12 @@ int SystemCallExe(const std::string &exe, const std::string &argsOrCommand,
return 1;
}
if(!blocking) cmd += " &";
-#if defined(HAVE_FLTK)
- FlGui::instance()->lock();
+#if defined(HAVE_FLTK) // FIXME: remove
+ if(FlGui::available()) FlGui::instance()->lock();
#endif
Msg::Info("Calling '%s'", cmd.c_str());
-#if defined(HAVE_FLTK)
- FlGui::instance()->unlock();
+#if defined(HAVE_FLTK) // FIXME: remove
+ if(FlGui::available()) FlGui::instance()->unlock();
#endif
if(!system(cmd.c_str())) return 1;
#endif
--
GitLab