/patch-ajaxterm_py/1.3/Tue Jun 12 17:20:05 2012//
D
