Skip to content
Snippets Groups Projects
Select Git revision
  • 841d489491acffacedc8ff091a3ea13042361c12
  • master default protected
  • dev protected
  • 551-init-broker-service-permissions
  • release-1.10 protected
  • 549-test-oai-pmh
  • 545-saving-multiple-times-breaks-pid-metadata
  • release-1.9 protected
  • 499-standalone-compute-service-2
  • 539-load-tests
  • hotfix/helm-chart
  • luca_ba_new_interface
  • 534-bug-when-adding-access-to-user-that-is-not-registered-at-dashboard-service
  • release-1.8 protected
  • 533-integrate-semantic-recommendation
  • feature/openshift
  • 518-spark-doesn-t-map-the-headers-correct
  • 485-fixity-checks
  • 530-various-schema-problems-with-subsets
  • release-1.7 protected
  • fix/auth-service
  • v1.10.1 protected
  • v1.10.0-rc13 protected
  • v1.10.0-rc12 protected
  • v1.10.0-rc11 protected
  • v1.10.0-rc10 protected
  • v1.10.0-rc9 protected
  • v1.10.0-rc8 protected
  • v1.10.0-rc7 protected
  • v1.10.0-rc6 protected
  • v1.10.0-rc5 protected
  • v1.10.0-rc4 protected
  • v1.10.0-rc3 protected
  • v1.10.0-rc2 protected
  • v1.10.0rc1 protected
  • v1.10.0rc0 protected
  • v1.10.0 protected
  • v1.9.3 protected
  • v1.9.2 protected
  • v1.9.2-rc0 protected
  • v1.9.1 protected
41 results

info.vue

Blame
  • main.html 835 B
    {% extends "base.html" %}
    
    {% block announce %}
    <label for="version">Version</label>
    <select style="margin-left:8px;" id="version" name="version" onchange="switchVersion(this.options[this.selectedIndex].value)">
        <option value="1.4.0">1.4.0</option>
        <option value="1.3.9">1.3.9</option>
        <option value="latest">latest</option>
    </select>
    <script>
        function getVersion() {
            const segments = location.pathname.split('/')
            if (segments.length >= 4) {
                return segments[3]
            } else {
                return '$TAG'
            }
        }
        function switchVersion(value) {
            if (!value) { return }
            this.location.href = location.protocol + '//' + location.host + '/infrastructures/dbrepo/' + value + '/'
        }
        document.getElementById("version").value = getVersion()
    </script>
    {% endblock %}