From 1823f7c88daad4eb398566b69685597a762843a8 Mon Sep 17 00:00:00 2001
From: klarkxy <278370456@qq.com>
Date: Sun, 2 Mar 2025 18:31:24 +0800
Subject: [PATCH] =?UTF-8?q?=E4=BF=AE=E6=94=B9set?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 web/demoset.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/web/demoset.php b/web/demoset.php
index 3025e0e..58b9550 100644
--- a/web/demoset.php
+++ b/web/demoset.php
@@ -1,15 +1,15 @@
 <?php require_once("./include/db_info.inc.php"); ?>
 
 <?php $show_title = "$MSG_PROBLEMS - $OJ_NAME"; ?>
-<?php include("template/$OJ_TEMPLATE/header.php"); ?>
+<?php require("template/$OJ_TEMPLATE/header.php"); ?>
 <div class="padding">
 
 
   <div class="container">
-    <?php include "demos/index.php"; ?>
+    <?php require "demos/index.php"; ?>
   </div>
 
 </div>
 
 </div>
-<?php include("template/$OJ_TEMPLATE/footer.php"); ?>  
\ No newline at end of file
+<?php require("template/$OJ_TEMPLATE/footer.php"); ?>  
\ No newline at end of file