## Copyright (C) 2002 Etienne Grossmann <etienne@cs.uky.edu>
##
## 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