[GRASS-dev] [grass-code P][526] Provide option to end GRASS session from gis.m

[grass-dev at grass.itc.it]

code P item #526, was opened at 2007-11-03 19:07
Status: Open
Priority: 3
Submitted By: Māris Nartišs (marisn)
Assigned to: Nobody (None)
Summary: Provide option to end GRASS session from gis.m 
Patch status: None
Patch type: enhancement
GRASS component: startup
GRASS version: CVS HEAD
GRASS CVS checkout date, if applies (YYMMDD): 


Initial Comment:
This patch adds "EXIT GRASS" to gis.m menu. GRASS CLI exit is done by sending SIGINT to GRASS shell. Shell's pid is provided by GRASS_SHELL_PID env variable.

Works and is tested on bash. tcsh/csh requires a small change (I don't have tcsh to make tests how onint works). May also work with ksh. Will NOT work with rc.

This implementation also includes code from patch #515.

How it works (in bash):
GRASS_SHELL_PID is set from .bashrc on GRASS shell startup;
gis.m is also launched from .bashrc and NOT from init.sh;
gis.m "EXIT GRASS" calls Gm::quit true to indicate full exit;
Gm::quit checks GRASS_SHELL_PID presence and sends SIGINT;
GRASS shell traps SIGINT signal and issues exit from GRASS shell;
init.sh cleans up any open gis.m instances et.al.

To add other shell support, shell must provide a way: 
1) how to get process PID (echo $$); 
2) how to trap SIGINT (trap "exit" SIGINT);
3) how to launch gis.m after shell startup from init.sh (.bashrc);
4) how to send signal to other process.

This code may require aditional  tweaks before can be commited.

----------------------------------------------------------------------

You can respond by visiting: 
http://wald.intevation.org/tracker/?func=detail&atid=205&aid=526&group_id=21