<?php
error_reporting(E_ALL | E_STRICT);
ini_set("track_errors", "On");
$INC = dirname(__FILE__) . "/../inc";
require_once(dirname(__FILE__) . "/config.php");
require_once($INC . "/init.inc.php");
require_once($INC . "/log.inc.php");
require_once($INC . "/sql.inc.php");
require_once($INC . "/struct.inc.php");
require_once($INC . "/state.inc.php");
rg_log_set_file("state.log");
require_once("common.php");
$rg_sql_debug = 1;
// check return for an invalid state
$r = rg_state_get($db, "asdsdsdf");
if ($r !== "") {
rg_log("Cannot get '' (but '$r') for an unknown key!");
exit(1);
}
$r = rg_state_set($db, "a", "bau");
if ($r !== TRUE) {
rg_log("Cannot get a TRUE for setting 'a' to 'bau' ($r)!");
exit(1);
}
$r = rg_state_set($db, "a", "cucu");
if ($r !== TRUE) {
rg_log("Cannot get a TRUE for setting 'a' to 'cucu' ($r)!");
exit(1);
}
$r = rg_state_get($db, "a");
if (strcmp($r, "cucu") != 0) {
rg_log("Cannot get correct state ('$r' != 'cucu')!");
exit(1);
}
rg_sql_close($db);
rg_log("OK!");
?>
Before first commit, do not forget to setup your git environment:
git config --global user.name "your_name_here"
git config --global user.email "your@email_here"
Clone this repository using HTTP(S):
git clone https://code.reversed.top/user/xaizek/rocketgit
Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://rocketgit@code.reversed.top/user/xaizek/rocketgit
You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a
pull request:
... clone the repository ...
... make some changes and some commits ...
git push origin master