Allow decimal comma separator for times expressed as decimals.

Some locales use a comma to separate a decimal whole from its fractional
part, so allow either a decimal stop or a decimal comma.

diff --git a/src/load_service.cc b/src/load_service.cc
index 740ba7647734a666572315cd86193559911d5cba..5c211b1920f1522a1315e874b38f4eff8c1a5807 100644 (file)
--- a/src/load_service.cc
+++ b/src/load_service.cc
@@ -307,6 +307,8 @@ static gid_t parse_gid_param(const std::string &param, const std::string &servic
     return grent->gr_gid;
 }
 
+// Parse a time, specified as a decimal number of seconds (with optional fractional component after decimal
+// point or decimal comma).
 static void parse_timespec(const std::string &paramval, const std::string &servicename,
         const char * paramname, timespec &ts)
 {
@@ -317,7 +319,7 @@ static void parse_timespec(const std::string &paramval, const std::string &servi
     decltype(len) i;
     for (i = 0; i < len; i++) {
         char ch = paramval[i];
-        if (ch == '.') {
+        if (ch == '.' || ch == ',') {
             i++;
             break;
         }