]> git.p6c8.net - devedit.git/commit
exec_unlock() now checks if the file is really in use. Otherwise, we return to
authorpcanterino <>
Tue, 5 Oct 2004 17:43:11 +0000 (17:43 +0000)
committerpcanterino <>
Tue, 5 Oct 2004 17:43:11 +0000 (17:43 +0000)
commitc8496a44e9c8ddc16f470ce2d52983e5531f77c7
tree5cdc2b67001ce4200122e977ba3f573c34dffb9b
parentce4ed8bcf239ea532cc54bd872995a687de1c299
exec_unlock() now checks if the file is really in use. Otherwise, we return to
directory view (maybe we change this behaviour and display an error message...).
modules/Command.pm

patrick-canterino.de