diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-03-05T18·19+0100 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-03-05T18·19+0100 |
commit | 1d487dc6a682468ae00402b3720ff412b6bfb6fc (patch) | |
tree | 94311d8c9b57893255bf613be84fb1cc8b924f55 /src/nix-log2xml | |
parent | 2b4964f31979b5227a7a51b646d2e4bbb5ef6579 (diff) |
nix-worker: put the pid of the caller in argv[1]
This is useful for debugging.
Diffstat (limited to 'src/nix-log2xml')
0 files changed, 0 insertions, 0 deletions