Mercurial > libervia-backend
diff frontends/src/tools/xmlui.py @ 1621:a17a91531fbe
jp (file): print a message and quit if progress_id is not received
author | Goffi <goffi@goffi.org> |
---|---|
date | Tue, 17 Nov 2015 20:18:51 +0100 (2015-11-17) |
parents | 1378ec04380f |
children | 681fe91abcc0 |