adding better logging

alex

2025-07-12 0bd7641049b2d3d45c3eb814e76a2fbe2c667c63

 vue/src/components/Header.vue

@@ -1,6 +1,12 @@
<script setup>

import {apiTokenValid, deleteApiToken} from "../lib/api"
import {reindex, apiTokenValid, deleteApiToken, routerBase} from "../lib/api"

async function doReindex () {
   await reindex()
   location.reload()
}

</script>

<template>
@@ -8,9 +14,12 @@
   <div class="header">
      <div>Globus-ILIAS-REST</div>
      <div>|</div>
      <RouterLink :to="`/ui/user`">Users</RouterLink>
      <RouterLink :to="`/ui/kurs`">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" title="reindex search index" @click="doReindex">♻</button>
      </div>
      <div v-if="apiTokenValid">
         <button type="button" @click="deleteApiToken()">logout</button>
      </div>