# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1318635927 -7200
# Node ID 27d8fc550d5eb9ed393503d3b9e311d643345fe5
# Parent  0c845375b7d0983c6afd8b8dce344a06cd593774
Removed initial space from directive values.

diff -r 0c845375b7d0 -r 27d8fc550d5e ApproveChangesSupport.py
--- a/ApproveChangesSupport.py	Fri Oct 14 00:16:23 2011 +0200
+++ b/ApproveChangesSupport.py	Sat Oct 15 01:45:27 2011 +0200
@@ -136,8 +136,11 @@
 
                 directive = parts[0]
 
+                # Obtain the value of the first instance of any directive,
+                # stripping any initial space.
+
                 if directive in names and not found.has_key(directive):
-                    found[directive] = "".join(parts[1:])
+                    found[directive] = "".join(parts[2:])
                     continue
 
         new_body.append(line)