5月15日 フリーズ

朝の（略）作戦。
毎朝7:00にダウンロードするように設定しているが、
今朝はダウンロードに失敗していた。

たまに、プログラムがフリーズしていることがあるのだ。
対象となるサイトにつながらないのか、
対象となるHTMLファイルになにか問題があるのか、原因はよくわからない。
とりあえず、固まってたサイトをはずして再実行させるのだけど、
なかなか完璧な運用っていうのはできないもんだ。
それでも重宝している。