Preprocesser.py bug fix patch

patch.diff

# HG changeset patch
# Parent 635fcc11d2b16265114d6bbc02768d007f73d66b
# User smellman? <???@???.???>

diff --git a/config/Preprocessor.py b/config/Preprocessor.py
--- a/config/Preprocessor.py
+++ b/config/Preprocessor.py
@@ -377,16 +377,18 @@ class Preprocessor:
   #   Strips blank lines from the output.
   def filter_emptyLines(self, aLine):
     if aLine == '\n':
       return ''
     return aLine
   # slashslash
   #   Strips everything after //
   def filter_slashslash(self, aLine):
+    if (aLine.find('//') == -1):
+      return aLine
     [aLine, rest] = aLine.split('//', 1)
     if rest:
       aLine += '\n'
     return aLine
   # spaces
   #   Collapses sequences of spaces into a single space
   def filter_spaces(self, aLine):
     return re.sub(' +', ' ', aLine).strip(' ')