[tor-commits] [metrics-web/master] Adapt work-directory default to production server setting.