server: twice ctrl+C to exit
This commit is contained in:
parent
67fd33132f
commit
7547ef5c6d
1 changed files with 8 additions and 1 deletions
|
@ -2768,7 +2768,14 @@ static void append_to_generated_text_from_generated_token_probs(llama_server_con
|
||||||
}
|
}
|
||||||
|
|
||||||
std::function<void(int)> shutdown_handler;
|
std::function<void(int)> shutdown_handler;
|
||||||
inline void signal_handler(int signal) { shutdown_handler(signal); }
|
static bool is_terminating = false;
|
||||||
|
inline void signal_handler(int signal) {
|
||||||
|
if (is_terminating) {
|
||||||
|
exit(0); // force exit the process, in case it hangs
|
||||||
|
}
|
||||||
|
is_terminating = true;
|
||||||
|
shutdown_handler(signal);
|
||||||
|
}
|
||||||
|
|
||||||
int main(int argc, char **argv)
|
int main(int argc, char **argv)
|
||||||
{
|
{
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue