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