add a warning if deleting a non-existent record

This commit is contained in:
Hinko Kocevar
2024-06-27 12:00:51 +02:00
committed by Andrew Johnson
parent c735de4ff8
commit 3a5c9ab0cd

View File

@ -1126,6 +1126,8 @@ static void dbRecordHead(char *recordType, char *name, int visible)
popFirstTemp();
dbFreeEntry(pdbentry);
duplicate = TRUE;
} else {
fprintf(stderr, ERL_WARNING ": Record \"%s\" not found\n", name);
}
return;
}