Oh, And how do I add leading zeroes to a number? I can't find the
format attribute that does this. I guess I could output it using
format=datetime:%H
Kind of counter-intuitive to use datetime to get an integer. Also, I
can't get an arbitrary number of leading zeroes, though it will work
for this case.
Bill
On Jan 31, 2007, at 12:12 PM, William M Conlon wrote:
I'm writing a method to patch this, since one can't know a priori
whether there is a leading hour, if that hour is one or two digits,
of if there is no leading hour, whether the minutes are one or two
digits.
This is ideally suited to a RegEx, but Witango only supplies an
interface to the Posix matching routines, but here we want to
modify text. So instead I have to build logic to parse the
possibilities.
How did leading hours get overlooked for so many years?
Bill
On Jan 31, 2007, at 11:48 AM, Ben Johansen wrote:
Yeah,
this is the only way i see around it
<@TIMETOSECS TIME="<@FORMAT STR="27:30" INFORMAT='datetime:%M:%S'
FORMAT='datetime:00:%M:%S'>"><br>
Ben
On Jan 31, 2007, at 11:09 AM, William M Conlon wrote:
<TIMETOSECS TIME="27:30"> results in InvalidTime! because it is
expecting three numbers, separated by colons, such as 00:27:30.
I would perfer time to be treated just like any other number,
where leading zeroes are assumed.
Bill
_____________________________________________________________________
___
TO UNSUBSCRIBE: Go to http://www.witango.com/developer/maillist.taf
_____________________________________________________________________
___
TO UNSUBSCRIBE: Go to http://www.witango.com/developer/maillist.taf
______________________________________________________________________
__
TO UNSUBSCRIBE: Go to http://www.witango.com/developer/maillist.taf
________________________________________________________________________
TO UNSUBSCRIBE: Go to http://www.witango.com/developer/maillist.taf
