Fixed duplicated entries in owner dropdown

Author: zonia3000

CHANGELOG.md

@@ -2,6 +2,7 @@
 
 # Unreleased
 
+* Fixed duplicated entries in owner dropdown (\#562);
 * Added "View plate" button on dataset page (\#562);
 * Improved stability of end to end tests (\#560);
 

src/routes/v2/admin/tasks/+page.server.js

@@ -8,9 +8,9 @@ export async function load({ fetch }) {
 
 	const usersList = await listUsers(fetch);
 
-	const users = /** @type {string[]} */ (
-		usersList.map((u) => (u.username ? u.username : u.slurm_user)).filter((u) => !!u)
-	);
+	const users = /** @type {string[]} */ ([
+		...new Set(usersList.map((u) => (u.username ? u.username : u.slurm_user)).filter((u) => !!u))
+	]);
 
 	users.sort((a, b) => a.localeCompare(b, undefined, { sensitivity: 'base' }));