Improved app server log retrieval.
Removed stream gobbler and refactored to common code. Fixed error reporting in the upgrade command.
Fixed push manager to handle outages in the subscription and to have a timeout so that inactive push subscriptions are purged or refreshed.
Merge branch 'devel' into stable
Added the ability to persist push sessions across an app server upgrade.
Fix to deserialization of push dumps.