]> git.p6c8.net - devedit.git/commitdiff
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)
directory view (maybe we change this behaviour and display an error message...).


No differences found

patrick-canterino.de