git.annexia.org
/
whenjobs.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove custom matching pattern from 'licensecheck'.
[whenjobs.git]
/
lib
/
whenutils.ml
diff --git
a/lib/whenutils.ml
b/lib/whenutils.ml
index
5f7c4ee
..
79a653f
100644
(file)
--- 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")
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
let string_endswith str suffix =
let len = String.length str in
let slen = String.length suffix in