Dillo-dev

By thread

dillo-dev@mailman3.com

March 2010

11 participants
62 messages

Problems viewing page source

by jcid＠dillo.org

Hi Andreas, On Sat, Feb 27, 2010 at 10:28:30PM +0100, Andreas Kemnade wrote: > [...] > If the menu pops up it displays something. > But sometimes it displays not what I want. > > http://misc.andi.de1.cc/viewsource.php > is an example for another view source problem. > Select something, click on send. > Now select "View page source". > You'll see the source of the previous page! > That is not what I expect. Right, it's a bug. > Contrary: > close dillo > open it again with http://misc.andi.de1.cc/viewsource.php?dillo > Now click again on send and try to view the source. Now > you get > [vsource dpi]: ERROR: Page not cached. > At least saving the page is possible to analyse things > and at least it is not displaying something wrong. Just committed a minor trick to differentiate POST URLs. Please test the repo. > Greetings > Andreas Kemnade > PS: Good to hear that you are ok. Thanks. In general we're materially OK in Santiago, but what happenned in the VII and VIII regions is shocking. -- Cheers Jorge.-

March 4, 2010

All must submit to valgrind!

by onepoint＠starurchin.org

I am now valgrinding all of the Dillo programs, not just dillo itself. There's only a couple of days' logs so far but there's already some stuff that needs looking at. http://starurchin.org/dillo/valgrind.html Regards, Jeremy Henty

March 1, 2010