Rework session initialization to make it possible to init without an HTTPRequest.
Improved app server log retrieval.
Add session properties. Use session properties to delete child session instances when the parent session is deleted.
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.
Merge branch 'stable'