On Thu, Oct 30, 2014 at 06:35:36AM -0400, Frantisek Kobzik wrote: > Yeah, I know about this. > > The thing is that error is logged anyway using this.parent.report_log > on the next line. I didn't want to duplicate the (useless) information > in the debug div. Yeah, I've noticed the report_log() call. I'm not familiar with javascript, if you think report_log() is explicit enough to get an idea about what's going on without the additional log which was there previously, I'm fine with the initial version of the patch. Christophe
Attachment:
pgpugAptdomcM.pgp
Description: PGP signature
_______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx http://lists.freedesktop.org/mailman/listinfo/spice-devel