return filename;
}
+char *getTemporaryTapeFilename(void)
+{
+ static char *filename = NULL;
+ char basename[MAX_FILENAME_LEN];
+
+ checked_free(filename);
+
+ sprintf(basename, "tmp.%s", TAPEFILE_EXTENSION);
+ filename = getPath2(getTapeDir(NULL), basename);
+
+ return filename;
+}
+
char *getDefaultSolutionTapeFilename(int nr)
{
static char *filename = NULL;
char *getProgramMainDataPath(char *, char *);
char *getProgramConfigFilename(char *);
char *getTapeFilename(int);
+char *getTemporaryTapeFilename(void);
char *getDefaultSolutionTapeFilename(int);
char *getSokobanSolutionTapeFilename(int);
char *getSolutionTapeFilename(int);