Support unregistering plugins
commit041be2b78172aad66b400e394adc8133763e98e7
authorIlari Liusvaara <ilari.liusvaara@elisanet.fi>
Sun, 11 Apr 2010 14:51:03 +0000 (11 17:51 +0300)
committerIlari Liusvaara <ilari.liusvaara@elisanet.fi>
Sun, 11 Apr 2010 14:51:03 +0000 (11 17:51 +0300)
tree59a379f18c9374e024910e663ed33d0642e02843
parentab36c235af00a4529c1a3bf1cb5e69597daa6a78
Support unregistering plugins

This will be needed to shut down dumping without shutting down the
whole emulator.
org/jpc/pluginsbase/Plugins.java