Woke up somewhere around 2-2:30. Couldn’t get back to sleep. Decided to get up (at 3:45) and putz around on the computer. Modified shutdown script (perl script which reads config file and shuts down computer if time is right) for computer labs so that it’s cleaner. Modified crontab on home server to stop producing error messages if fetchmail is already running. Decided I should go back to bed. Bye.