Revision 7d24742abc4cbefddd2a0505f33080ec20fa3e01

Committed on 26/11/2012 6:45 am by Arne <bratt@nvg.ntnu.no> [GitHub Diff]

Restructure to fix problem with caching between different users