Skip to content
Snippets Groups Projects
Commit b8369434 authored by Loïc Correnson's avatar Loïc Correnson Committed by David Bühler
Browse files

[ivette] keep server running on running

parent 20fae7a6
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
ivette/src/frama-c/server.ts
+ 0
− 1
View file @ b8369434
...@@ -787,7 +787,6 @@ client.onConnect((err?: Error) => { ...@@ -787,7 +787,6 @@ client.onConnect((err?: Error) => {
if (err) { if (err) {
_status(Status.FAILURE); _status(Status.FAILURE);
_stopPolling(); _stopPolling();
_shutdown();
} else { } else {
_status(Status.CMD); _status(Status.CMD);
_startPolling(); _startPolling();
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment