REST Service for POPCORN - ILIAS
alex
2025-06-20 eda54046a40c108e993cb8efd73a1a36bcbfd225
vue/src/components/Header.vue
@@ -1,5 +1,9 @@
<script setup>
import {reindex, apiTokenValid, deleteApiToken, routerBase} from "../lib/api"
</script>
<template>
@@ -7,8 +11,15 @@
   <div class="header">
      <div>Globus-ILIAS-REST</div>
      <div>|</div>
      <RouterLink :to="`/ui/user`">Users</RouterLink>
      <RouterLink :to="`/ui/course`">Courses</RouterLink>
      <RouterLink :to="`${routerBase}/ui/user`">Users</RouterLink>
      <RouterLink :to="`${routerBase}/ui/kurs`">Courses</RouterLink>
      <div style="flex-grow: 1" />
      <div>
         <button type="button" @click="reindex()">♻</button>
      </div>
      <div v-if="apiTokenValid">
         <button type="button" @click="deleteApiToken()">logout</button>
      </div>
   </div>
</template>