--- fenglin/bbs/update_profile_service.php	2025/04/10 07:54:36	1.6
+++ fenglin/bbs/update_profile_service.php	2025/04/23 04:51:55	1.8
@@ -1,11 +1,10 @@
-<?
+<?php
 	require_once "../lib/common.inc.php";
 	require_once "../lib/db_open.inc.php";
 	require_once "../lib//score_change.inc.php";
 	require_once "../lib/send_mail.inc.php";
 	require_once "../lib/str_process.inc.php";
 	require_once "../lib/passwd.inc.php";
-	require_once "./common_lib.inc.php";
 	require_once "./session_init.inc.php";
 	require_once "./reg_check.inc.php";
 
@@ -135,7 +134,8 @@
 		exit(json_encode($result_set));
 	}
 
-	$sql = "SELECT nickname, email FROM user_pubinfo WHERE UID = " . $_SESSION["BBS_uid"];
+	$sql = "SELECT nickname, email FROM user_pubinfo WHERE UID = " . $_SESSION["BBS_uid"] .
+			" FOR UPDATE";
 
 	$rs = mysqli_query($db_conn, $sql);
 	if ($rs == false)
@@ -266,7 +266,7 @@
 	// Update email
 	if ($old_email != $email)
 	{
-		$sql = "SELECT UID FROM user_pubinfo WHERE email = '$email'";
+		$sql = "SELECT UID FROM user_pubinfo WHERE email = '$email' FOR SHARE";
 
 		$rs = mysqli_query($db_conn, $sql);
 		if ($rs == false)