From: Yukihiro Matsumoto Date: 2008-02-07T12:30:09+09:00 Subject: Re: STDIN encoding differs from default source file encoding Hi, In message "Re: STDIN encoding differs from default source file encoding" on Thu, 7 Feb 2008 12:10:48 +0900, Dave Thomas writes: |Oh, I'm having a bad day. More medicine is called for. Sorry. Get well soon. Keep yourself warm, take nutritious food, and rest, including staying away from your computer ;-) matz.