Make WD fields volatile, hopefully fixed GitHub issue #149

dbus-notify
Zlatin Balevsky 2022-06-15 06:49:01 +01:00
parent 6bb554e8ce
commit 4ebdd14794
No known key found for this signature in database
GPG Key ID: A72832072D525E41
1 changed files with 6 additions and 6 deletions

View File

@ -10,12 +10,12 @@ class WatchedDirectory {
final File directory, canonical final File directory, canonical
final String encodedName final String encodedName
final Set<File> aliases = new HashSet<>() final Set<File> aliases = new HashSet<>()
boolean autoWatch volatile boolean autoWatch
int syncInterval volatile int syncInterval
long lastSync volatile long lastSync
Visibility visibility volatile Visibility visibility
Set<Persona> customVisibility = Collections.emptySet() volatile Set<Persona> customVisibility = Collections.emptySet()
Set<MWProfileHeader> customVisibilityHeaders = Collections.emptySet() volatile Set<MWProfileHeader> customVisibilityHeaders = Collections.emptySet()
WatchedDirectory(File directory) { WatchedDirectory(File directory) {
this.directory = directory this.directory = directory