remove the prefix from the local userNamespaces array

jackalope · Apr 13, 2012 · 0d4c54b · 0d4c54b
1 parent f4b6aee
commit 0d4c54b
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/Jackalope/NamespaceRegistry.php b/src/Jackalope/NamespaceRegistry.php
@@ -136,6 +136,12 @@ public function unregisterNamespace($prefix)
             // we already checked whether this is a prefix out of the defaultNamespaces in checkPrefix
             throw new NamespaceException("Prefix $prefix is not currently registered");
         }
+
+        if (array_key_exists($prefix, $this->userNamespaces)) {
+            //remove the prefix from the userNamespaces array
+            unset($this->userNamespaces[$prefix]);
+        }
+
         $this->transport->unregisterNamespace($prefix);
     }