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