mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Save timestamps after updating
This commit is contained in:
committed by
Roman Shevchenko
parent
547a2b1e8d
commit
2ecbc06b3e
@@ -78,7 +78,8 @@ public class TimestampStorage extends AbstractStateStorage<File, TimestampStorag
|
||||
remove(file);
|
||||
}
|
||||
else {
|
||||
ArrayUtil.remove(state, i);
|
||||
TimestampPerTarget[] newState = ArrayUtil.remove(state, i);
|
||||
update(file, newState);
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user