asynch servlet deployment support (required for server push)