boot flags update.

This commit is contained in:
Vitor Santos Costa 2016-06-17 16:25:43 +01:00
parent 730259d47e
commit a1ec5e6198

View File

@ -1062,7 +1062,7 @@ static Int qload_program(USES_REGS1) {
return true; return true;
} }
int Yap_Restore(const char *s, const char *lib_dir) { YAP_file_type_t Yap_Restore(const char *s, const char *lib_dir) {
CACHE_REGS CACHE_REGS
FILE *stream = Yap_OpenRestore(s, lib_dir); FILE *stream = Yap_OpenRestore(s, lib_dir);
@ -1070,13 +1070,13 @@ int Yap_Restore(const char *s, const char *lib_dir) {
return -1; return -1;
GLOBAL_RestoreFile = s; GLOBAL_RestoreFile = s;
if (do_header(stream) == NIL) if (do_header(stream) == NIL)
return FALSE; return YAP_BOOT_PL;
read_module(stream); read_module(stream);
setBooleanGlobalPrologFlag(SAVED_PROGRAM_FLAG, true); setBooleanGlobalPrologFlag(SAVED_PROGRAM_FLAG, true);
fclose(stream); fclose(stream);
GLOBAL_RestoreFile = NULL; GLOBAL_RestoreFile = NULL;
LOCAL_SourceModule = CurrentModule = USER_MODULE; LOCAL_SourceModule = CurrentModule = USER_MODULE;
return DO_ONLY_CODE; return YAP_QLY;
} }
void Yap_InitQLYR(void) { void Yap_InitQLYR(void) {