derabbink/RExec — pull request #2 by fasalex (2013-07-12 14:11:13+00:00)
Title: Updated PlugInManger

Updated the executor so that it will be used when it is needed and
destructed after.