search

laralove143 / timezoner

A Discord bot that converts times so that everyone sees them in their own timezone
MIT License
21 stars 3 forks source link

Require spaces around times #15

Closed laralove143 closed 1 year ago

laralove143 commented 2 years ago

Not doing this leads to some unexpected eager parsing

tim-elmer commented 1 year ago

E.g., Something in it that's being interpreted as a time, appar10:40 (10:40 AM)ently, or <:pp1_2:10 (11:10 PM)45115783086354482>

laralove143 commented 1 year ago

Fixed with rewrite