mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-08 16:55:38 +02:00
Code Issues Wiki Activity

save the preference store on exit

Browse source
This commit is contained in:
Alain Magloire 2004-09-12 03:12:15 +00:00
parent 40fe9c9707
commit 057edb19f3
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/CCorePlugin.java
View file

@ -209,6 +209,7 @@ public class CCorePlugin extends Plugin {
if (cdtLog != null) { if (cdtLog != null) {
cdtLog.shutdown(); cdtLog.shutdown();
} }
savePluginPreferences();
} finally { } finally {
super.stop(context); super.stop(context);
} }