Fixed random file saving

diff --git a/sfa/trust/certificate.py b/sfa/trust/certificate.py
index 7089bd5..c49c50c 100644 (file)
--- a/sfa/trust/certificate.py
+++ b/sfa/trust/certificate.py
@@ -322,7 +322,10 @@ class Certificate:
    # Save the certificate to a random file in /tmp/
    # @param save_parents If save_parents==True, then also save the parent certificates.
    def save_to_random_tmp_file(self, save_parents=True):
-       filename = "/tmp/cert_%d" % randint(0,999999999)
+       while True:
+           filename = "/tmp/cred_%d" % randint(0,999999999)
+           if not os.path.isfile(filename):
+               break
        self.save_to_file(filename, save_parents)
        return filename
    ##

diff --git a/sfa/trust/credential.py b/sfa/trust/credential.py
index 12ef0b7..a9be429 100644 (file)
--- a/sfa/trust/credential.py
+++ b/sfa/trust/credential.py
@@ -402,7 +402,11 @@ class Credential(object):
 
 
     def save_to_random_tmp_file(self):
-        filename = "/tmp/cred_%d" % randint(0,999999999)
+        while True:
+            filename = "/tmp/cred_%d" % randint(0,999999999)
+            if not os.path.isfile(filename):
+                break
+            
         self.save_to_file(filename)
         return filename