[GAP Forum] GAP SCSCP server: proper termination

Jerome BENOIT g6299304p at rezozer.net
Sat Aug 23 13:42:42 BST 2014


Hello Forum !

What is the proper way to terminate a GAP SCSCP server ?
In particular is there any SIG that terminates it cleanly ?
Ad, in general, does GAP response to some special SIG ?

Thanks in advance,
Jerome



More information about the Forum mailing list