1 ## Copyright (C) 2002 Etienne Grossmann <etienne@egdn.net>
3 ## This program is free software; you can redistribute it and/or modify it under
4 ## the terms of the GNU General Public License as published by the Free Software
5 ## Foundation; either version 3 of the License, or (at your option) any later
8 ## This program is distributed in the hope that it will be useful, but WITHOUT
9 ## ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
10 ## FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
13 ## You should have received a copy of the GNU General Public License along with
14 ## this program; if not, see <http://www.gnu.org/licenses/>.
16 ## p = vrml_kill () - Kill the current vrml browser
18 ## If a vrml browser has previously been launched with vrml_browse(), it
19 ## will be sent a KILL signal.
21 ## See also : vrml_browse.
23 function p = vrml_kill ()
25 global vrml_b_pid = 0;
28 printf ("vrml_browse : Sending kill signal to browser\n");
29 system (sprintf ("kill -KILL %d &> /dev/null",vrml_b_pid));
31 printf ("vrml_browse : No live browser to kill\n");