commit a6ee9d3c1464252716a3c642428292de54965707
author apanchenk <apanchenk> Fri Sep 19 13:09:11 2008 +0000
committer apanchenk <apanchenk> Fri Sep 19 13:09:11 2008 +0000
tree bbf34d9276480cb78a900fa3a815f6a28a326cf0
parent 804fd3f190a40be9b1231fa54aab34b8958b4101

savePluginPreferences()

plugins/org.eclipse.dltk.ruby.core/src/org/eclipse/dltk/ruby/core/RubyPlugin.java

diff --git a/plugins/org.eclipse.dltk.ruby.core/src/org/eclipse/dltk/ruby/core/RubyPlugin.java b/plugins/org.eclipse.dltk.ruby.core/src/org/eclipse/dltk/ruby/core/RubyPlugin.java
index a35a979..e8ce945 100644
--- a/plugins/org.eclipse.dltk.ruby.core/src/org/eclipse/dltk/ruby/core/RubyPlugin.java
+++ b/plugins/org.eclipse.dltk.ruby.core/src/org/eclipse/dltk/ruby/core/RubyPlugin.java
@@ -73,6 +73,7 @@
 			((IShutdownListener) listeners[i]).shutdown();
 		}
 		shutdownListeners.clear();
+		savePluginPreferences();
 		plugin = null;
 		super.stop(context);
 	}