From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 15 May 2003 16:51:37 +0000 (+0000)
Subject: Several changes:
X-Git-Tag: submitted~43
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=39c8c5c53680cd374a3eb76993a592cf29bb92ba;hp=39c8c5c53680cd374a3eb76993a592cf29bb92ba;p=helm.git

Several changes:

1. the UWOBO_LOG_FILE environment variable semantics changed. It is now
   used in the following way: $UWOBO_LOG_FILE.pid.log
2. when the log file can not be opened, UWOBO used to crash. Instead,
   it now goes on and a nice error message is printed on the stderr
   (but, unfortunately, it is not given back to the user, since the
   error is raised in a new process and it can not be read back from
   the logfile!)
---