| commit | a029c3c5860d67820c25f4879889dfefbc995391 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Jun 20 17:22:05 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Jun 20 17:22:05 2010 +0000 |
| tree | b0ba07d25bcdf817a8c187ba7138db4813544d08 | |
| parent | 10f2d00c5a7d2c97e38825b604460d56bf079919 [diff] |
be a good citizen: on plugin shutdown stop scheduling jobs by setting autoRefresh to false. Fixes an SWT error I saw from a refresh job during shutdown.