diff options
| -rwxr-xr-x | pdftool.pl | 3 | ||||
| -rwxr-xr-x | psresize2.pl | 2 |
2 files changed, 2 insertions, 3 deletions
@@ -198,8 +198,7 @@ if ($filetype eq "PDF") { # Need to copy the whole input to an auxiliary file, since # conversion from PDF to PS requires random access to the data - $infile = "$tmpdir/pdftool-stdin-" . - int(rand 2**16) . lc ".$filetype"; + $infile = "$tmpdir/pdftool-stdin-$$" . lc ".$filetype"; open FIN2, '>', "$infile" or die "Can't write into `$infile': $!"; 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': $!"; |