Issue #3: allow server to trigger browser refresh