From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 30 May 2006 07:58:45 +0000 (+0000)
Subject: bugfix: when creating a daemon spec _use_ the auto_close value passed as argument... 
X-Git-Tag: 0.4.95@7852~1394
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6e4e1c55cb1d3d5f8ef6d607263647bf4e789458;hp=6e4e1c55cb1d3d5f8ef6d607263647bf4e789458;p=helm.git

bugfix: when creating a daemon spec _use_ the auto_close value passed as argument instead of ignoring it
---