equal
deleted
inserted
replaced
74 |
74 |
75 @Override |
75 @Override |
76 abstract public void close(); |
76 abstract public void close(); |
77 |
77 |
78 protected final Dispatcher dispatcher() { |
78 protected final Dispatcher dispatcher() { |
79 if (configuration.hasChanged()) { |
79 if (configuration.hasChanged()) { // quick check |
80 synchronized (configuration) { |
80 synchronized (configuration) { |
81 dispatcher = new Dispatcher(configuration); |
81 dispatcher = new Dispatcher(configuration); |
|
82 configuration.setChanged(false); |
82 } |
83 } |
83 } |
84 } |
84 return dispatcher; |
85 return dispatcher; |
85 } |
86 } |
86 |
87 |