Révision 1846
| tmp/org.txm.core/src/java/org/txm/core/results/TXMResult.java (revision 1846) | ||
|---|---|---|
| 1110 | 1110 |
return ret; |
| 1111 | 1111 |
} |
| 1112 | 1112 |
|
| 1113 |
// FIXME: SJ: this method sould not call persist on children if childrenAsWell == false? |
|
| 1113 | 1114 |
public void persist(boolean childrenAsWell) {
|
| 1114 | 1115 |
if (this.mustBePersisted()) {
|
| 1115 | 1116 |
TXMPreferences.flush(this); |
| ... | ... | |
| 2218 | 2219 |
Log.severe("TXMResult.compute():" + this.getClass().getSimpleName() + ": failed to save parameters for " + this.getName() + ".");
|
| 2219 | 2220 |
} |
| 2220 | 2221 |
|
| 2222 |
// FIXME: SJ: need to find a way to flush file only if it's necessary. For example at this time, at start when all Edition, Text, etc. are recreated, all .prefs file are flushed but it useless and slow |
|
| 2221 | 2223 |
// file persistence flush |
| 2222 | 2224 |
if (this.mustBePersisted()) {
|
| 2223 | 2225 |
TXMPreferences.flush(this); |
Formats disponibles : Unified diff