source/shiny update: made caching more robust