Closed JamesGuthrie closed 9 years ago
In frontend-only mode the backend is initialized to None, so calling its kill() member function fails.
Fixes frenetic-lang/pyretic#31.
Signed-off-by: James Guthrie james@prodigi.ch
Seems obviously correct, am merging w/o testing
In frontend-only mode the backend is initialized to None, so calling its kill() member function fails.
Fixes frenetic-lang/pyretic#31.
Signed-off-by: James Guthrie james@prodigi.ch