// Provides a file to use in conjunction with edit() // base should be something like "idea", "describe", "mail" // Changed by Pallando (93-03-17) #include <config.h> varargs string temp_file( string base, object obj ) { if( !obj ) obj = this_player(); return TMP_DIR + base + "-" + getoid( obj ); }