22 Mar
2018
22 Mar
'18
10:01 p.m.
On Wed, Feb 21, 2018 at 2:21 PM, MATTEO LUCCHI
<168595(a)studenti.unimore.it> wrote:
Good afternoon,
You are probably already aware of that, but the spot online translator is
not working anymore. I am trying to translate a LTL formula into a Buchi
Automaton. It was working until 2 days ago, but now i get this:
Traceback (most recent call last):
File "/var/www/html/cgi-bin/spotcgi.py", line 732, in <module>
render_automaton(degen, dont_run_dot)
File "/var/www/html/cgi-bin/spotcgi.py", line 318, in render_automaton
render_dot_maybe(dotsrc.str(), dont_run_dot, hoaname)
File "/var/www/html/cgi-bin/spotcgi.py", line 305, in render_dot_maybe
render_dot(autprefix, hoaname)
File "/var/www/html/cgi-bin/spotcgi.py", line 237, in render_dot
run_dot(basename, 'svg')
File "/var/www/html/cgi-bin/spotcgi.py", line 230, in run_dot
os.link(outname, tmpdir + "/" + ext)
FileNotFoundError: [Errno 2] No such file or directory:
'../spotimg/960f234ef7d2cd7d8fbab23c49603c6a66fc284d.svg' ->
'../spotimg/0f33f8af71a0356e3d63971bc8a4a7e39e64b7d9-154/svg'
Hi Matteo,
Thank you for the report, and sorry for the delayed answer. Your
email was almost lost in the middle of more of 200 spams sent to this
list.
Do you still have this issue ? I am not able to reproduce it, and the
last time the web server was updated was one day *before* your email.
(My only hypothesis is that since this server is shared, maybe the
disk was full on that day, in which case run_dot() could fail to
create the mentionned svg file.)
--
Alexandre Duret-Lutz