我有幾個用戶試圖同時使用PHP腳本訪問表。 下面是一些代碼: $result = mysql_query("SELECT ID FROM usersPark
WHERE isSharing = '1' and email != '$email' and isBooked != 1")
現在,如果$結果不是空的,我需要設置isBooked = 1是這樣的: UPDATE `usersP
我在自旋模型檢查很新,想知道這是什麼錯誤意味着: unreached in proctype P1
ex2.pml:16, state 11, "-end-"
(1 of 11 states)
unreached in proctype P2
ex2.pml:29, state 11, "-end-"
(1 of 11 states)
這裏是我的代碼: