# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1481236224 -3600
# Node ID 4849542ef9da9f43070e7c2e503112292a1c9752
# Parent  f10a63ef3712812153e2a9bb1d789142eed5f406
Avoid storing purely local or top-level names in the encoded path registry.

diff -r f10a63ef3712 -r 4849542ef9da encoders.py
--- a/encoders.py	Thu Dec 08 22:50:32 2016 +0100
+++ b/encoders.py	Thu Dec 08 23:30:24 2016 +0100
@@ -356,6 +356,10 @@
         return "__%s" % path
     else:
         part_encoded = path.replace("#", "__").replace("$", "__")
+
+        if "." not in path:
+            return part_encoded
+
         encoded = part_encoded.replace(".", "_")
 
         # Test for a conflict with the encoding of a different path, re-encoding