[augeas-devel] [PATCH] Allow flags

[Raphael Pinson]

# HG changeset patch
# User Raphael Pinson <raphink at gmail.com>
# Date 1218644422 -7200
# Node ID 0fecb892aefdeef53e5c73d7cfe2c862e1e79488
# Parent  77868db94cb316e09e7872cc3ab087a22ec9684c
Allow flags

diff -r 77868db94cb3 -r 0fecb892aefd lenses/inifile.aug
--- a/lenses/inifile.aug	Wed Aug 13 14:16:45 2008 +0200
+++ b/lenses/inifile.aug	Wed Aug 13 18:20:22 2008 +0200
@@ -41,7 +41,7 @@ let empty                = Util.empty
 
 (* Some implementations of INI file allow ":" as separator *)
 let entry_generic (kw:regexp) (sep:lens) (comment:lens)
-                    = [ key kw . sep . value_to_comment? . (comment|eol) ]
+                    = [ key kw . (sep . value_to_comment?)? . (comment|eol) ]
 let entry (kw:regexp)
                     = entry_generic kw value_sepwithcolon comment
 let entry_setcomment (kw:regexp) (comment:lens)