#443 pushE.hs: サーバとしての出力でXmlNodeを介するようにした