From: Trevor Daniels <t.daniels@treda.co.uk>
Date: Wed, 2 Oct 2013 22:45:58 +0000 (+0100)
Subject: Detect use of backslash in node names (3590)
X-Git-Tag: release/2.17.29-1~28
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=aae3ff48c2def641f2cda0d8f5950aeb63a2d84d;p=lilypond.git

Detect use of backslash in node names (3590)

Although a backslash in a node name appears to cause
no problems when used in a within-manual reference,
it causes cross-manual references to fail.
---

diff --git a/scripts/auxiliar/ref_check.py b/scripts/auxiliar/ref_check.py
index 09c3449599..33a610d9c0 100755
--- a/scripts/auxiliar/ref_check.py
+++ b/scripts/auxiliar/ref_check.py
@@ -46,6 +46,9 @@ class CrossRefs:
   def addNode(self, nodeName, manualName, fileName):
     global returnCode
 #    print "Node: ", nodeName, " in ", manualName, " found in ", fileName
+    if "\\" in nodeName:
+      returnCode = 1
+      print "nodeName: ", nodeName, " in ", fileName, " contains backslash"
     if manualName+"/"+nodeName in self.Nodes.keys():
       print "Error: Duplicate nodename ",nodeName, " in ", fileName, " and ", self.Nodes[manualName+"/"+nodeName][1]
       returnCode=1
@@ -53,6 +56,10 @@ class CrossRefs:
     self.nodeNames[nodeName] = fileName
 
   def addRef(self, toManualName, toHeading, inFileName):
+    global returnCode
+    if "\\" in toHeading:
+      returnCode = 1
+      print "ref to: ", toHeading, " in ", inFileName, " contains backslash"
 #    if inFileName == "notation/vocal.itely":
 #      print "Ref to ", toManualName, "/",toHeading, " found in ", inFileName
     self.Refs.append([toManualName + "/" + toHeading, inFileName])