diff options
author | Guilhem Moulin <guilhem.moulin@chalmers.se> | 2010-09-26 14:40:53 +0200 |
---|---|---|
committer | Guilhem Moulin <guilhem.moulin@chalmers.se> | 2010-09-26 14:40:53 +0200 |
commit | 38e9dfed2421cf359feba6ae56b308f45df3cb9b (patch) | |
tree | 427198e99bbb87bffbc45e0569974c930ae99f6c /psresize2.pl | |
parent | 019b9f1d113475708de93e338d876ff7a090254f (diff) |
rand -> pid
Diffstat (limited to 'psresize2.pl')
-rwxr-xr-x | psresize2.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/psresize2.pl b/psresize2.pl index 7224a82..dc3ee6f 100755 --- a/psresize2.pl +++ b/psresize2.pl @@ -202,7 +202,7 @@ if (defined $infile && $infile ne "-") { # TODO: no need to such an ugly auxiliary file? - $infile = "$tmpdir/psresize-stdin-" . int(rand 2**16) . ".ps"; + $infile = "$tmpdir/psresize-stdin-$$.ps"; open FIN2, '>', "$infile" or die "Can't write into `$infile': $!"; |