1<?php
2
3function getRequestCGame() {
4	$r = $_REQUEST ['cgame'];
5	if (! isset ( $r ))
6		error ( "missing request parameter: cgame", 400 );
7	$valid = array('-', '_');
8	if (!ctype_alnum(str_replace($valid, '', $r))) {
9		error ( "invalid request parameter given: " . $r, 400 );
10	}
11	return $r;
12}
13
14function getUsername() {
15	$r = $_REQUEST ['username'];
16	if (! isset ( $r ))
17		return "";
18	return $r;
19}
20
21function getPassword() {
22	$r = $_REQUEST ['password'];
23	if (! isset ( $r ))
24		return "";
25	return $r;
26}
27
28function getRequestUserId() {
29	if (false === hasRequestUserId ())
30		error ( "missing request parameter: userid", 400 );
31	$r = $_REQUEST ['userid'];
32	return intval ( $r );
33}
34
35function hasRequestUserId() {
36	$r = $_REQUEST ['userid'];
37	return isset ( $r ) && intval ( $r ) > 0;
38}
39
40function getRequestCategory() {
41	$r = $_REQUEST ['category'];
42	if (! isset ( $r ))
43		error ( "missing request parameter: category", 400 );
44	return intval ( $r );
45}
46
47function getRequestFile() {
48	$r = basename ( $_REQUEST ['file'] );
49	if (! isset ( $r ))
50		error ( "missing request parameter: file", 400 );
51	$valid = array('-', '_', '.');
52	if (!ctype_alnum(str_replace($valid, '', $r))) {
53		error ( "invalid request parameter given: " . $r, 400 );
54	}
55	return $r;
56}
57