[augeas-devel] [PATCH 1 of 4] Allow spaces in the end of the line

[Raphael Pinson]

# HG changeset patch
# User Raphael Pinson <raphink at gmail.com>
# Date 1218554601 -7200
# Node ID a660016208e0bdc92d274a46d71cab68d887a615
# Parent  90624d191d998788155c72583f49bdf462ca8195
Allow spaces in the end of the line

diff -r 90624d191d99 -r a660016208e0 lenses/hosts.aug
--- a/lenses/hosts.aug	Tue Aug 12 13:57:43 2008 +0200
+++ b/lenses/hosts.aug	Tue Aug 12 17:23:21 2008 +0200
@@ -6,7 +6,7 @@ module Hosts =
   let sep_tab = Util.del_ws_tab
   let sep_spc = Util.del_ws_spc
 
-  let eol = Util.del_str "\n"
+  let eol = del /[ \t]*\n/ "\n"
 
   let comment = [ del /(#.*|[ \t]*)\n/ "\n" ]
   let word = /[^# \n\t]+/