Just checked on linux and it's as you say (but even doing end(" ") fixes it) - so yes, it's a bug. I'll see what I can do about fixing it.
end(" ")
@Gordon started
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Just checked on linux and it's as you say (but even doing
end(" ")
fixes it) - so yes, it's a bug. I'll see what I can do about fixing it.