| commit | 43fd1f75db89d38010dd118b98f0460e958b5b99 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 02 22:52:12 1999 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 02 22:52:12 1999 +0000 |
| tree | 9bed7a0d996777663a9bf572fde1821f841c046c | |
| parent | c6f8fd925e826faa3be3471ddbae5dda56cc5245 [diff] |
Give a warning if system-wide sys.argv processing is off (because then we may have missed an applet being dropped on us). This may fix the obscure bug Tony Ingraldi was experiencing.