diff --git a/contrib/onelab/python/onelab.py b/contrib/onelab/python/onelab.py index 98268c857c9d3b0a09b39f88d79251ea94619053..798d7de55fcd543ad396819cf537562390f63d82 100755 --- a/contrib/onelab/python/onelab.py +++ b/contrib/onelab/python/onelab.py @@ -468,8 +468,7 @@ class client : if self.action == 'compute': self.setChanged(name, False) else : - self._send(self._GMSH_WARNING, - 'Error report in ' + self.name + '_stderr.log') + self._send(self._GMSH_ERROR, 'error \"' + ' '.join(argv) + '\"') sys.exit(1) def copy(self, here, there):