REST Service for POPCORN - ILIAS
alex
2025-11-28 21cfe68a2ac2304d9c034b9d247a61e9861af666
vue/src/components/Header.vue
@@ -2,7 +2,10 @@
import {reindex, apiTokenValid, deleteApiToken, routerBase} from "../lib/api"
async function doReindex () {
   await reindex()
   location.reload()
}
</script>
@@ -13,9 +16,10 @@
      <div>|</div>
      <RouterLink :to="`${routerBase}/ui/user`">Users</RouterLink>
      <RouterLink :to="`${routerBase}/ui/kurs`">Courses</RouterLink>
      <RouterLink :to="`${routerBase}/ui/kurs/rolle/admin`">Course-Admins</RouterLink>
      <div style="flex-grow: 1" />
      <div>
         <button type="button" title="reindex search index" @click="reindex()">♻</button>
         <button type="button" title="reindex search index" @click="doReindex">♻</button>
      </div>
      <div v-if="apiTokenValid">
         <button type="button" @click="deleteApiToken()">logout</button>