X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=lib%2Fwhenutils.ml;h=5f7c4ee7ac96ce0e9692668deb2465b41c47fd5a;hp=ca26755581c45e363a0eea475f033a80c81ec29e;hb=8582d10e7b131ffbfe1d92352e7df39230ce1124;hpb=cb8bbd5621366d5adc82e59bff62bd8cc50d8e85 diff --git a/lib/whenutils.ml b/lib/whenutils.ml index ca26755..5f7c4ee 100644 --- a/lib/whenutils.ml +++ b/lib/whenutils.ml @@ -63,3 +63,8 @@ let string_of_time_t ?(localtime = false) t = (1900+tm.tm_year) (1+tm.tm_mon) tm.tm_mday tm.tm_hour tm.tm_min tm.tm_sec (if localtime then "" else " UTC") + +let string_endswith str suffix = + let len = String.length str in + let slen = String.length suffix in + len >= slen && String.sub str (len-slen) slen = suffix