I am using NetworKit in a server (FastAPI) to handle some API requests.

I noticed that after the networkit.centrality.PageRank class is used once (after the run() method), the server can't be stopped with CTRL+C anymore.

I looked into the code here https://github.com/networkit/networkit/blob/master/networkit/cpp/centrality/PageRank.cpp#L21
and noticed that it is doing something with SignalHandling, installing an own handler.

https://github.com/networkit/networkit/blob/master/networkit/cpp/auxiliary/SignalHandling.cpp#L4

Is there a way to disable this? Or make it so that the server can still be stopped with CTRL+C?