X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=lib%2Fwhenutils.ml;h=79a653f7407f96b8ca7b4da43db9ac1fc2172282;hp=5f7c4ee7ac96ce0e9692668deb2465b41c47fd5a;hb=64ada3d57b1a6593b72d9a2d5e4a47bfc3729740;hpb=8582d10e7b131ffbfe1d92352e7df39230ce1124 diff --git a/lib/whenutils.ml b/lib/whenutils.ml index 5f7c4ee..79a653f 100644 --- a/lib/whenutils.ml +++ b/lib/whenutils.ml @@ -64,6 +64,11 @@ let string_of_time_t ?(localtime = false) t = tm.tm_hour tm.tm_min tm.tm_sec (if localtime then "" else " UTC") +let string_startswith str prefix = + let len = String.length str in + let plen = String.length prefix in + len >= plen && String.sub str 0 plen = prefix + let string_endswith str suffix = let len = String.length str in let slen = String.length suffix in