From a7332df80f8dce307d6b271d6e00641903f9066e Mon Sep 17 00:00:00 2001
From: alex <alex@alexloehr.net>
Date: Tue, 12 Aug 2025 13:29:09 +0000
Subject: [PATCH] adding prod
---
vue/src/components/Header.vue | 15 ++++++++++++---
1 files changed, 12 insertions(+), 3 deletions(-)
diff --git a/vue/src/components/Header.vue b/vue/src/components/Header.vue
index 4889214..455fe20 100644
--- a/vue/src/components/Header.vue
+++ b/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>
--
Gitblit v1.8.0