diff --git a/ChangeLog b/ChangeLog index fc271f37c..6e23c4915 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2012-01-17 Alexandre Duret-Lutz + + * wrap/python/ajax/spot.py: Add a required "None" second + argument to utime(). + 2012-01-17 Alexandre Duret-Lutz minimize_wdba() failed to fully minimize some automata. diff --git a/NEWS b/NEWS index 88c844a23..186f628f0 100644 --- a/NEWS +++ b/NEWS @@ -9,6 +9,7 @@ New in spot 0.8.1a: clear whether this could have had an inpact on WDBA minimization (the worse case is that some TGBA would not have been minimized when they could). + - Fix a Python syntax error in the CGI script. - Fix compilation with g++ 4.0. - Fix a make check failure when valgrind is missing. diff --git a/wrap/python/ajax/spot.in b/wrap/python/ajax/spot.in index f73d6fe8b..f819bc396 100755 --- a/wrap/python/ajax/spot.in +++ b/wrap/python/ajax/spot.in @@ -1,7 +1,7 @@ #!@PYTHON@ # -*- mode: python; coding: iso-8859-1 -*- -# Copyright (C) 2011 Laboratoire de Recherche et Développement de -# l'Epita (LRDE). +# Copyright (C) 2011, 2012 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # @@ -45,7 +45,7 @@ if qs: print cache.read() # Touch the directory containing the files we used, so # it that it survives the browser's cache. - os.utime(imgprefix) + os.utime(imgprefix, None) exit(0) except IOError: # We failed to open the file.