| commit | 866874b15458b152936506be2811c36fe3bbe377 | [log] [tgz] |
|---|---|---|
| author | robbiew <robbiew> | Thu May 22 19:37:54 2003 +0000 |
| committer | robbiew <robbiew> | Thu May 22 19:37:54 2003 +0000 |
| tree | 41e7641b529bfc458ae02543dded07215cda390d | |
| parent | 56de53061bff0c061f7e82e206ca52dff7f60ef3 [diff] |
Changed the 'kill' of $SCREEN_PID to normal, instead of -9, for better process cleanup.