commit | b5982221bb5a45de90f58b21e121dd8677d6e25a | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Sat Aug 11 22:29:18 2001 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Aug 11 22:29:18 2001 +0000 |
tree | f3c8a8dc9108249660b705ba28b2be541597b401 | |
parent | fb513a20b502c543acca26039df60c13029cf05a [diff] |
Before asking the finder to start the application (if start=1 is specified), check that it isn't incidentally running already.