On Wed, Feb 21, 2018 at 2:21 PM, MATTEO LUCCHI 168595@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.)