From bd6b930043d6bca90b6a3be7a4a18c9da713555d Mon Sep 17 00:00:00 2001
From: alex <alex@alexloehr.net>
Date: Mon, 30 Jun 2025 14:21:26 +0000
Subject: [PATCH] update settings
---
vue/src/components/Header.vue | 18 ++++++++++++++++--
1 files changed, 16 insertions(+), 2 deletions(-)
diff --git a/vue/src/components/Header.vue b/vue/src/components/Header.vue
index 538d86d..455fe20 100644
--- a/vue/src/components/Header.vue
+++ b/vue/src/components/Header.vue
@@ -1,5 +1,12 @@
<script setup>
+import {reindex, apiTokenValid, deleteApiToken, routerBase} from "../lib/api"
+
+async function doReindex () {
+ await reindex()
+ location.reload()
+}
+
</script>
<template>
@@ -7,8 +14,15 @@
<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>
</div>
</template>
--
Gitblit v1.8.0