debian/README.Debian
author greg
Mon, 18 May 2009 07:47:24 +0200
changeset 344 25b7b7f854bc
parent 91 8d6dd867cf27
child 434 092060fd8afb
permissions -rw-r--r--
Wait the debug thread has terminated before freeing PLC to avoid random segmentation fault.

Store working directory to globals copy, in order to be used in runtime.py.
91
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     1
beremiz for Debian
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     2
------------------
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     3
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     4
<possible notes regarding this package - if none, delete this file>
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     5
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     6
 -- lolitech <gregory.trelat@lolitech.fr>  Thu, 29 Nov 2007 14:55:13 +0100