Definition at line 462 of file arbdb.cxx.
Definition at line 463 of file arbdb.cxx.
References GB_shell::in_shell(), and GB_shell::~GB_shell().