BIT-Programming-Refresh result

自动刷新结果页

Versão de: 17/07/2023. Veja: a última versão.

Você precisará instalar uma extensão como Tampermonkey, Greasemonkey ou Violentmonkey para instalar este script.

Você precisará instalar uma extensão como Tampermonkey ou Violentmonkey para instalar este script.

Você precisará instalar uma extensão como Tampermonkey ou Violentmonkey para instalar este script.

Você precisará instalar uma extensão como Tampermonkey ou Userscripts para instalar este script.

Você precisará instalar uma extensão como o Tampermonkey para instalar este script.

Você precisará instalar um gerenciador de scripts de usuário para instalar este script.

(Eu já tenho um gerenciador de scripts de usuário, me deixe instalá-lo!)

Você precisará instalar uma extensão como o Stylus para instalar este estilo.

Você precisará instalar uma extensão como o Stylus para instalar este estilo.

Você precisará instalar uma extensão como o Stylus para instalar este estilo.

Você precisará instalar um gerenciador de estilos de usuário para instalar este estilo.

Você precisará instalar um gerenciador de estilos de usuário para instalar este estilo.

Você precisará instalar um gerenciador de estilos de usuário para instalar este estilo.

(Eu já possuo um gerenciador de estilos de usuário, me deixar fazer a instalação!)

// ==UserScript==
// @name         BIT-Programming-Refresh result
// @namespace    http://tampermonkey.net/
// @version      0.2.2
// @description  自动刷新结果页
// @license      GPL-3.0-or-later
// @supportURL   https://github.com/YDX-2147483647/BIT-enhanced/issues
// @author       Y.D.X.
// @match        https://lexue.bit.edu.cn/mod/programming/result.php?*
// @grant        none
// ==/UserScript==

(function () {
  'use strict'
  function auto_refresh () {
    const titles = document.querySelectorAll('[role=main] > h3')
    if (titles[0].innerText === '查看程序的测试结果' &&
      titles[0].nextSibling.innerText === '找不到您的程序') {
      return
    }
    if (titles[titles.length - 1].innerText !== '测试结果') {
      window.location.reload()
    }
  }
  window.setInterval(auto_refresh, 2000)
})()