From 38e9dfed2421cf359feba6ae56b308f45df3cb9b Mon Sep 17 00:00:00 2001
From: Guilhem Moulin <guilhem.moulin@chalmers.se>
Date: Sun, 26 Sep 2010 14:40:53 +0200
Subject: rand -> pid

---
 pdftool.pl | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'pdftool.pl')

diff --git a/pdftool.pl b/pdftool.pl
index ac08c80..bb4d3dc 100755
--- a/pdftool.pl
+++ b/pdftool.pl
@@ -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': $!";
-- 
cgit v1.2.3