// Copyright (c) 1999-2001 David Muse // See the file COPYING for more information #include #include // for exit() #include // for printf() in version.h #include cachemanager *cacheman; void shutDown() { delete cacheman; exit(0); } int main(int argc, const char **argv) { #include cacheman=new cachemanager(argc,argv); cacheman->handleShutDown((void *)shutDown); cacheman->scan(); }