diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-10-17T17·43+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-10-17T17·43+0000 |
| commit | 13b089c890bac229e7c3accfd9299f3fdac95e27 (patch) | |
| tree | 131ac13bdc53c37b0b33f8d51e3ae0a02c846ccb /scripts | |
| parent | f1b3a418fa86e3204c47d4b33873b57a19e9f47c (diff) | |
* Also kill all processes of the build user after the build. This is
critical to prevent certain kinds of 0wnage.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions