📄 stop.php
字号:
<?
include_once 'inc/auth.php';
include_once '../prcs_role.php';
if (!run_role ($RUN_ID, 0))
{
exit ();
}
echo '
<html>
<head>
<title></title>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
</head>
<body class="bodycolor" topmargin="5">
';
$CUR_TIME = date ('Y-m-d H:i:s', time ());
$query = '' . 'update FLOW_RUN_PRCS set PRCS_FLAG=\'4\',DELIVER_TIME=\'' . $CUR_TIME . '\' WHERE RUN_ID=' . $RUN_ID . ' and PRCS_ID=' . $PRCS_ID . ' and USER_ID=\'' . $LOGIN_USER_ID . '\'';
exequery ($connection, $query);
if ($OP == 'MANAGE')
{
header ('location: ../manage');
}
else
{
header ('' . 'location: index.php?FLOW_ID=' . $FLOW_ID);
}
echo '
</body>
</html>';
?>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -