On Fri, Aug 29, 2014 at 12:00:18PM +0200, Jerome BENOIT wrote: > > In fact I was looking for softly terminating a gap session by sending a > signal: > I guess that this kind a feature is not yet implemented.
by the way, are you aware of libGAP (https://bitbucket.org/vbraun/libgap)? It looks as if you try to have a way to control GAP from your application, and having it as a shared library might help... just in case, Dima > > Thanks, > Jerome > _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
