Please report all issues to luke+g...@dashjr.org ASAP.
I hope to release a final version (1.8.3+gamma0) in a week or two if no more
problems are found.
If you are not switching to GammaMOO, I would also be interested in hearing
(on this list) why not - ie, what features are missing that are important to
you.
Merry Christmas,
Luke
Please report all issues to luke+g...@dashjr.org ASAP.
I hope to release a final version (1.8.3+gamma0) in a week or two if no
more problems are found.
If you are not switching to GammaMOO, I would also be interested in hearing
(on this list) why not - ie, what features are missing that are important
to you.
Thanks,
Luke
--You received this message because you are subscribed to the Google Groups "MOO Talk" group.To post to this group, send email to MOO-...@googlegroups.com.To unsubscribe from this group, send email to MOO-talk+u...@googlegroups.com.For more options, visit this group at http://groups.google.com/group/MOO-talk?hl=en.
This actually sounds interesting. What type of MOO are you running, with
what kind of in-DB codebase? I take it you're using 64-bit ints? What
happens if someone provides an int to time() or ctime() that's outside the
range of 32-bit $minint to $maxint which is acceptable? For instance,
although Python lets you use ints much larger than $maxint, trying to use
one as a timespec doesn't work.
Jayson
--
Josh Benner
> (mailto:luke+g...@dashjr.org) ASAP.
> I hope to release a final version (1.8.3+gamma0) in a week or two if no
> more problems are found.
>
> If you are not switching to GammaMOO, I would also be interested in
> hearing
> (on this list) why not - ie, what features are missing that are important
> to you.
>
> Thanks,
>
> Luke
>
> --
> You received this message because you are subscribed to the Google Groups
> "MOO Talk" group.
> To post to this group, send email to MOO-...@googlegroups.com
> (mailto:MOO-...@googlegroups.com).
> To unsubscribe from this group, send email to
> MOO-talk+u...@googlegroups.com
> (mailto:MOO-talk+u...@googlegroups.com).
To post to this group, send email to MOO-...@googlegroups.com.To unsubscribe from this group, send email to MOO-talk+u...@googlegroups.com.