sani7/remote-ui
1
0
Fork 0
mirror of https://github.com/Sani7/remote-ui.git synced 2026-10-26 21:51:13 +01:00
Code Issues Packages Projects Releases Wiki Activity

update on shutdown

Browse Source
This commit is contained in:
sani7
2024-08-20 00:13:01 +02:00
parent 37ee64d3e1
commit d740d54f86
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tools/main.cpp
+3 -1
View File
@@ -15,8 +15,10 @@ void int_handler(int s)
UNUSED(s); UNUSED(s);
std::cout << "\nCaught Ctrl + C\nShutting down." << std::endl; std::cout << "\nCaught Ctrl + C\nShutting down." << std::endl;
g_web_socket->stop(); g_web_socket->stop();
simulators.stop();
// delay
std::this_thread::sleep_for(std::chrono::milliseconds(1000));
exit(1); exit(1);
} }
int main(void) int main(void)