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 '' else: self.last_html=r @@ -436,9 +436,9 @@ class Multiplex: os.write(fd,s) except (IOError,OSError): self.proc_kill(fd) - def dump(self,fd,color=1): + def dump(self,fd,color=1,force=False): try: - return self.proc[fd]['term'].dumphtml(color) + return self.proc[fd]['term'].dumphtml(color, force) except KeyError: return False def loop(self):