|
Lines 1895-1901
Link Here
|
| 1895 |
public Hashtable getOptions() { |
1895 |
public Hashtable getOptions() { |
| 1896 |
|
1896 |
|
| 1897 |
// return cached options if already computed |
1897 |
// return cached options if already computed |
| 1898 |
if (this.optionsCache != null) return new Hashtable(this.optionsCache); |
1898 |
Hashtable cachedOptions; // use a local variable to avoid race condition (see https://bugs.eclipse.org/bugs/show_bug.cgi?id=256329 ) |
|
|
1899 |
if ((cachedOptions = this.optionsCache) != null) return new Hashtable(cachedOptions); |
| 1899 |
|
1900 |
|
| 1900 |
if (!Platform.isRunning()) { |
1901 |
if (!Platform.isRunning()) { |
| 1901 |
return this.optionsCache = getDefaultOptionsNoInitialization(); |
1902 |
return this.optionsCache = getDefaultOptionsNoInitialization(); |
