|
@@ -298,6 +298,7 @@ private class LocalEntry extends FileEntry {
|
|
var t = try w.file.modificationDate.getTime() catch( e : Dynamic ) -1;
|
|
var t = try w.file.modificationDate.getTime() catch( e : Dynamic ) -1;
|
|
if( t != w.watchTime ) {
|
|
if( t != w.watchTime ) {
|
|
// check we can write (might be deleted/renamed/currently writing)
|
|
// check we can write (might be deleted/renamed/currently writing)
|
|
|
|
+ if( !w.isDirectory )
|
|
try {
|
|
try {
|
|
var f = new flash.filesystem.FileStream();
|
|
var f = new flash.filesystem.FileStream();
|
|
f.open(w.file, flash.filesystem.FileMode.READ);
|
|
f.open(w.file, flash.filesystem.FileMode.READ);
|