alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* wrap/python/cgi/ltl2tgba.in: Use the uuid Python module instead

Browse source 
of the UNIQUE_ID environment variable to avoid being
Apache-specific.
This commit is contained in:
Damien Lefortier 2010-01-25 14:14:27 +01:00
parent 3a974d61f0
commit d9b8fcddd6
2 changed files with 9 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
wrap/python/cgi/ltl2tgba.in
View file

@ -28,6 +28,7 @@ import os
import cgi
import cgitb; cgitb.enable()
import signal
import uuid
print "Content-Type: text/html"
print
@ -107,8 +108,7 @@ os.system('find ' + imgdir + ' -type f -amin +15 -print | xargs rm -f')
myself = os.environ['SCRIPT_NAME'];
form = cgi.FieldStorage()
filled = form.has_key('formula')
# FIXME: This assumes Apache.
uid = os.environ['UNIQUE_ID'];
uid = str(uuid.uuid1())
imgprefix = imgdir + '/' + uid
def escaped_print_set(dict, what):