Branch V7_3_new_exportation merged.

[helm.git] / helm / http_getter / http_getter_misc.ml

diff --git a/helm/http_getter/http_getter_misc.ml b/helm/http_getter/http_getter_misc.ml
index 9ab7082974b5603e342f46b507a9e0b5dc12e1ab..7b70a14b1112ce975cc5bc01223d59e3eb4d27bc 100644 (file)
--- a/helm/http_getter/http_getter_misc.ml
+++ b/helm/http_getter/http_getter_misc.ml
@@ -273,3 +273,9 @@ let remove_line ~fname position =
       remove position ([], lines))
 ;;
 
+let is_blank_line =
+  let blank_line_RE = Pcre.regexp "(^#)|(^\\s*$)" in
+  fun line ->
+    Pcre.pmatch ~rex:blank_line_RE line
+;;
+