pike.git / src / main.c

version» Context lines:

pike.git/src/main.c:1:   /*\   ||| This file a part of Pike, and is copyright by Fredrik Hubinette   ||| Pike is distributed as GPL (General Public License)   ||| See the files COPYING and DISCLAIMER for more information.   \*/   /**/   #include "global.h" - RCSID("$Id: main.c,v 1.133 2001/07/05 22:23:36 hubbe Exp $"); + RCSID("$Id: main.c,v 1.134 2001/07/06 10:31:06 grubba Exp $");   #include "fdlib.h"   #include "backend.h"   #include "module.h"   #include "object.h"   #include "language.h"   #include "lex.h"   #include "pike_types.h"   #include "builtin_functions.h"   #include "array.h"   #include "stralloc.h"
pike.git/src/main.c:815: Inside #if defined(DO_PIKE_CLEANUP)
   exit_backend();      #ifdef SHARED_NODES    free(node_hash.table);   #endif /* SHARED_NODES */       exit_pike_security();    free_svalue(& throw_value);    throw_value.type=T_INT;    { -  while(1) +  while(1) {    int tmp=num_objects;    do_gc();    if(num_objects >= tmp) break;    }    }       cleanup_gc();       cleanup_pike_types();