static void shutdown_FramepaC()
{
if (Initialized)
{
Initialized = false ;
if (FramepaC_shutdown_hook)
FramepaC_shutdown_hook(1) ;
if (FramepaC_shutdown_all_VFrames)
{
FramepaC_shutdown_all_VFrames() ;
FramepaC_shutdown_all_VFrames = nullptr ;
}
if (FramepaC_destroy_all_symbol_tables)
{
FramepaC_destroy_all_symbol_tables() ;
FramepaC_destroy_all_symbol_tables = nullptr ;
}
if (FramepaC_shutdown_peermode_func)
{
FramepaC_shutdown_peermode_func() ;
FramepaC_shutdown_peermode_func = nullptr ;
}
if (FramepaC_shutdown_hook)
{
FramepaC_shutdown_hook(2) ;
FramepaC_shutdown_hook = nullptr ;
}
delete FramepaC_readtable ;
FramepaC_readtable = nullptr ;
if (FramepaC_clear_userinfo_dir)
FramepaC_clear_userinfo_dir() ;
void FramepaC_shutdown_symboltables() ;
FramepaC_shutdown_symboltables() ;
#ifndef NVALGRIND
for (FrReader *r = FrReader::firstReader() ; r ; r = r->nextReader())
{
r->FramepaC_shutdown() ;
}
void FramepaC_gc() ;
FramepaC_gc() ;
#endif /* !NVALGRIND */
}
return ;
}
static void gc_command(ostream &, istream &)
{
FramepaC_gc() ;
}
