(*) defines new method locate_varname used by plc-config-tty
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 18 Apr 2006 15:32:48 +0000 (15:32 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 18 Apr 2006 15:32:48 +0000 (15:32 +0000)
commit93a436f3989574a61193dac251f8c5c7727ed702
treefdbf7797a33a5a090ffcf1bc3b49d3533720dc93
parent7b94455705d039bf24bd84f4e6bbe9892ce75bde
(*) defines new method locate_varname used by plc-config-tty
(*) output file opened in 'w' mode rather than 'r+'
(*) output_shell method tkes an extra argument, a toggle for comment printing
plc_config.py