X-Git-Url: http://xvm.mit.edu/gitweb/invirt/packages/invirt-web.git/blobdiff_plain/3c2392c9ed9aae4fd4a86bd3e230cb05a7c229d2..0dad430c014913f47e900590cae35bf238a625e5:/code/ajaxterm.py diff --git a/code/ajaxterm.py b/code/ajaxterm.py index dd7e5b8..8436914 100644 --- a/code/ajaxterm.py +++ b/code/ajaxterm.py @@ -320,7 +320,7 @@ class Terminal: return r def dumplatin1(self): return self.dump().translate(self.trl1) - def dumphtml(self,color=1): + def dumphtml(self,color=1,force=False): h=self.height w=self.width r="" @@ -343,7 +343,7 @@ class Terminal: if i%w==w-1: span+='\n' r='
%s'%r - if self.last_html==r: + if self.last_html==r and not force: return '