*polished shell.

This commit is contained in:
Wang Renxin 2016-12-22 23:28:22 +08:00
parent 029ba170cd
commit 3afe5b7e03
2 changed files with 892 additions and 883 deletions

1767
HISTORY

File diff suppressed because it is too large Load Diff

View File

@ -927,7 +927,13 @@ static void _kill_program(const char* path) {
if(!unlink(path)) { if(!unlink(path)) {
_printf("Delete file \"%s\" successfully.\n", path); _printf("Delete file \"%s\" successfully.\n", path);
} else { } else {
_printf("Delete file \"%s\" failed.\n", path); FILE* fp = fopen(path, "rb");
if(fp) {
fclose(fp);
_printf("Delete file \"%s\" failed.\n", path);
} else {
_printf("File \"%s\" not found.\n", path);
}
} }
} }