diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix redline to send history at the very end

Browse Source
This commit is contained in:
Vitor Santos Costa 2016-04-22 18:22:17 +01:00
parent 445a7f33c1
commit 768b17751b
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
os/readline.c
View File

@ -473,12 +473,6 @@ int Yap_ReadlineForSIGINT(void) {
}
}
void Yap_CloseReadline(void) {
#if USE_READLINE
write_history(history_file);
#endif
}
static Int has_readline(USES_REGS1) {
#if USE_READLINE
return true;
@ -501,3 +495,9 @@ bool Yap_InitReadline(Term enable) {
void Yap_InitReadlinePreds(void) {}
#endif
void Yap_CloseReadline(void) {
#if USE_READLINE
write_history(history_file);
#endif
}