o Minor bugfixes: - Add warning message when a managed proxy dies during configuration. Fixes bug 7195; bugfix on 0.2.4.2-alpha.
