From 814dc02786a15af173af21cd82be3c00eb742276 Mon Sep 17 00:00:00 2001
From: Nikhil Marathe <nsm.nikhil@gmail.com>
Date: Tue, 6 Aug 2013 09:38:04 -0700
Subject: [PATCH] Bug 900450 - Reset UDP socket to allow re-initialization.
 r=dougt

---
 dom/push/src/PushService.jsm | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/dom/push/src/PushService.jsm b/dom/push/src/PushService.jsm
index e88de5451dd5..a65466905f53 100644
--- a/dom/push/src/PushService.jsm
+++ b/dom/push/src/PushService.jsm
@@ -295,6 +295,8 @@ this.PushService = {
         // online, it is likely that these statements will be no-ops.
         if (this._udpServer) {
           this._udpServer.close();
+          // Set to null since this is checked in _listenForUDPWakeup()
+          this._udpServer = null;
         }
 
         this._shutdownWS();
@@ -504,6 +506,7 @@ this.PushService = {
 
     if (this._udpServer) {
       this._udpServer.close();
+      this._udpServer = null;
     }
 
     // All pending requests (ideally none) are dropped at this point. We