[GAP Forum] deactivate readline library

[Dima Pasechnik]

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
>