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 _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum