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.