Fixed not working page caching of webkit.
authorDaniel Carl <danielcarl@gmx.de>
Sun, 3 Aug 2014 16:00:48 +0000 (18:00 +0200)
committerDaniel Carl <danielcarl@gmx.de>
Sun, 3 Aug 2014 16:00:48 +0000 (18:00 +0200)
commit5655cd8f8c72d0bcd7a9c7586bc9d48cb8c98256
tree9c98f3afdd73cc5c43fea375053402d193a51b8d
parent772260d203d08be94927f2a54371a095da75ee90
Fixed not working page caching of webkit.

If the 'pagecache' option is set to on, this does not really speed up the page
load. It seems to be necessary to explicitly set the cache model to use, even
if the documentation say that the default cache model is that what is used
now.
src/setting.c