From 965d78c0c629f9ca449161237b97e51fc4a96c9a Mon Sep 17 00:00:00 2001
From: Lan Hui <lanhui@zjnu.edu.cn>
Date: Thu, 24 Aug 2023 21:29:17 +0800
Subject: [PATCH] Script.php: improve notification message.

---
 Script.php      | 2 +-
 Submissions.php | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Script.php b/Script.php
index 8d5e432..73a6a63 100644
--- a/Script.php
+++ b/Script.php
@@ -903,7 +903,7 @@ if (!empty($_GET["ignoreremarking"])) {
 
     if ($con->query($sql) === TRUE) {
 
-        $_SESSION["info_Marking"] = "Remarking Request Ignored , Submission Updated to 'Marked' status";
+        $_SESSION["info_Marking"] = "Remarking request ignored.";
         header("Location: Submissions.php?id=" . $id . "&header=" . $header . "&total=" . $total);
     } else {
         echo "Error: " . $sql . "<br>" . $con->error;
diff --git a/Submissions.php b/Submissions.php
index 20bd6bb..0069b6c 100644
--- a/Submissions.php
+++ b/Submissions.php
@@ -56,7 +56,7 @@ echo "<div><a href='Courses.php?course=$url'> $header </a></div>";
             error_reporting(0);
 
             if (isset($_SESSION['info_Marking'])) {
-                echo  '<hr><div class="alert alert-info" role="alert">' . $_SESSION['info_Marking'] . '</div>';
+                echo  '<div class="alert alert-warning">' . $_SESSION['info_Marking'] . '</div>';
                 $_SESSION['info_Marking'] = null;
             }