Skip to content

Commit c9e3c4d

Browse files
merged new docs
1 parent 5a2e76f commit c9e3c4d

File tree

2 files changed

+7
-5
lines changed

2 files changed

+7
-5
lines changed

Compiler_Engine/compose.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,4 +26,4 @@ services:
2626
depends_on:
2727
- redis
2828
env_file:
29-
- ./worker-py/.env
29+
- ./worker-py/.env

Frontend/src/App/CodeEditor/NavigationBar.tsx

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,6 @@ import { useNavigate } from "react-router";
55
import { useEditorCollaboration } from "../../Contexts/EditorContext";
66
import { useState } from "react";
77
import axios from "axios";
8-
import { toast } from "react-toastify";
98
import { useToast } from "../../Contexts/ToastContext";
109

1110
const getToken = () => {
@@ -265,7 +264,8 @@ const NavigationBar = () => {
265264
showToast({
266265
type: "error",
267266
title: "Permission Denied",
268-
message: "Developers are not allowed to share codespaces.",
267+
message:
268+
"Developers are not allowed to share codespaces.",
269269
});
270270
setLoading(false);
271271
return;
@@ -394,13 +394,15 @@ const NavigationBar = () => {
394394
import.meta.env.VITE_BACKEND_URL
395395
}/codespaces`;
396396
const token = getToken();
397-
const currentUserRole = codespace?.role || "Developer"; // Default to Developer if role is undefined
397+
const currentUserRole =
398+
codespace?.role || "Developer"; // Default to Developer if role is undefined
398399

399400
if (currentUserRole !== "owner") {
400401
showToast({
401402
type: "error",
402403
title: "Permission Denied",
403-
message: "Only the owner can remove members from the codespace.",
404+
message:
405+
"Only the owner can remove members from the codespace.",
404406
});
405407
setLoading(false);
406408
return;

0 commit comments

Comments
 (0)