frenetic-lang / pyretic

The Pyretic language and runtime system
http://frenetic-lang.org/pyretic/
159 stars 99 forks source link

No of_client to kill in "frontend-only" mode #31

Closed danieledc closed 9 years ago

danieledc commented 10 years ago

Hello to everyone, if I start Pyretic with the "frontend-only" option, like this:

pyretic.py -f -m p0 pyretic.TEST.test

when I shut it down, the following error is raised up:

----starting pyretic shutdown------
attempting to kill of_client
Traceback (most recent call last):
  File "/home/daniele/pyretic/pyretic.py", line 192, in <module>
    main()
  File "/home/daniele/pyretic/pyretic.py", line 189, in main
    signal.pause()
  File "/home/daniele/pyretic/pyretic.py", line 52, in signal_handler
    of_client.kill()
AttributeError: 'NoneType' object has no attribute 'kill'

Obviously it's not a big problem, but I thought it was helpful to point it out anyway. Regards, Daniele