Open GoogleCodeExporter opened 8 years ago
Done. The default setting can be changed upon each system startup. Each user
can change his personal richness. It will be kept as long as the system is
running, but can be changed anytime.
Later there should be the possibility to re-request pages with a higher
richness. This is also connected with cache eviction (Issue 31). I am therefore
changing the summary.
Original comment by satiaher...@gmx.de
on 21 May 2013 at 8:55
Original issue reported on code.google.com by
satiaher...@gmx.de
on 21 Apr 2013 at 10:34