From 6f1b8b4926d65ee5fca2bc7d17e27e1a607a5a25 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Thu, 31 May 2018 02:25:49 +0400
Subject: [PATCH] mysqlloadcsv: bug avec les valeurs de la forme 00+

---
 mysqlloadcsv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mysqlloadcsv b/mysqlloadcsv
index 3e798ea..6a14fd2 100755
--- a/mysqlloadcsv
+++ b/mysqlloadcsv
@@ -127,7 +127,7 @@ function is_null(value) {
   return value == null_value
 }
 function is_integer(value) {
-  return value ~ /^[0-9]+$/
+  return value ~ /^(0|[1-9][0-9]*)$/
 }
 function is_date_dmy(value) {
   return value ~ /^[0-9][0-9]\/[0-9][0-9]\/[0-9][0-9]$/