PHP mo_com_socket Examples

Example #1

File: function-problem.php Project: KarlZeo/MoyOJ

function socket_push($data)
{
    if (!mo_com_socket($data)) {
        mo_log_user('Solution Failed Pushing (SID = ' . $data['sid'] . ').');
        return False;
    } else {
        return True;
    }
}

Example #2

File: client.php Project: KarlZeo/MoyOJ

    } elseif ($_POST['action'] == 'edit') {
        $edit_cid = $_POST['cid'];
        $edit_name = $_POST['name'];
        $edit_intro = $_POST['intro'];
        $sql = 'UPDATE `mo_judge_client` SET `name` = ?, `intro` = ? WHERE `id` = ?';
        $db->prepare($sql);
        $db->bind('ssi', $edit_name, $edit_intro, $edit_cid);
        $db->execute();
        $msg = '<div class="alert alert-success">ID为' . $edit_cid . '的评测端修改成功！</div>';
    } elseif ($_POST['action'] == 'del') {
        $sql = 'DELETE FROM `mo_judge_client` WHERE `id` = ?';
        $db->prepare($sql);
        $db->bind('i', $_POST['cid']);
        $db->execute();
        $order = array('action' => 'kill', 'cid' => $_POST['cid']);
        mo_com_socket($order);
    }
}
$sql = 'SELECT * FROM `mo_judge_client`';
$db->prepare($sql);
$result = $db->execute();
?>
<div class="container">
	<div class="col-md-12" id = "client">
		<table class="table table-striped table-hover">
		<tbody>
		<?php 
$now = time();
$js_tmp = '';
foreach ($result as $client) {
    $tr = $now - strtotime($client['last_ping']) < 200 ? '<tr class="success"' : '<tr class="danger"';