Subversion Repositories Applications.annuaire

Rev

Rev 550 | Rev 557 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
536 mathias 1
<?php
2
 
3
// composer
4
require_once '../vendor/autoload.php';
5
 
6
/**
7
 * Tentative de service d'authentification / SSO bien organisé
8
 * @author mathias
9
 * © Tela Botanica 2015
10
 *
11
 * @TODO se baser sur autre chose que JRest qui est obsolète
12
 */
13
class Auth extends JRestService {
14
 
15
	/** Clef utilisée pour signer les jetons JWT */
16
	private $clef;
17
 
18
	/** Si true, refusera une connexion non-HTTPS */
19
	protected $forcerSSL = true;
20
 
21
	/** Durée en secondes du jeton (doit être faible en l'absence de mécanisme d'invalidation) */
22
	protected $dureeJeton = 900;
23
 
24
	/** Durée en secondes du cookie */
25
	protected $dureeCookie = 31536000; // 3600 * 24 * 365
26
 
27
	/** Nom du cookie */
28
	protected $nomCookie = "this_is_not_a_good_cookie_name";
29
 
30
	public function __construct($config, $demarrer_session = true) {
31
		parent::__construct($config, $demarrer_session);
32
		$this->clef = file_get_contents("clef-auth.ini");
33
		if (strlen($this->clef) < 16) {
34
			throw new Exception("Clef trop courte - placez une clef d'au moins 16 caractères dans configurations/clef-auth.ini");
35
		}
36
		$this->forcerSSL = ($this->config['auth']['forcer_ssl'] == "1");
37
		$this->dureeJeton = $this->config['auth']['duree_jeton'];
38
		$this->dureeCookie = $this->config['auth']['duree_cookie'];
39
		$this->nomCookie = $this->config['auth']['nom_cookie'];
40
	}
41
 
42
	/**
43
	 * Notice d'utilisation succincte
44
	 * @TODO essayer de choisir entre anglais et français
45
	 */
46
	protected function infosService() {
47
		$uri = $this->config['settings']['baseAlternativeURL'];
48
		if ($uri == '') {
49
			$uri = $this->config['settings']['baseURL'];
50
		}
51
		$uri = $uri . "auth/";
52
 
53
		$infos = array(
54
			'service' => 'TelaBotanica/annuaire/auth',
55
			'methodes' => array(
56
				'connexion' => array(
57
					"uri" => $uri . "connexion",
58
					"parametres" => array(
59
						"login" => "adresse email (ex: name@domain.com)",
60
						"password" => "mot de passe"
61
					),
62
					"alias" => $uri . "login",
63
					"description" => "connexion avec login et mot de passe; renvoie un jeton et un cookie " . $this->nomCookie
64
				),
65
				'deconnexion' => array(
66
					"uri" => $uri . "deconnexion",
67
					"parametres" => null,
68
					"alias" => $uri . "logout",
69
					"description" => "déconnexion; renvoie un jeton null et supprime le cookie " . $this->nomCookie
70
				),
71
				'identite' => array(
72
					"uri" => $uri . "identite",
73
					"parametres" => array(
74
						"token" => "jeton JWT (facultatif)",
75
					),
76
					"alias" => array(
77
						$uri . "identity",
78
						$uri . "rafraichir",
79
						$uri . "refresh"
80
					),
555 mathias 81
					"description" => "confirme l'authentification et la session; rafraîchit le jeton fourni (dans le cookie " . $this->nomCookie . ", le header Authorization ou en paramètre)"
536 mathias 82
				),
83
				'verifierjeton' => array(
555 mathias 84
					"uri" => $uri . "verifierjeton",
536 mathias 85
					"parametres" => array(
86
						"token" => "jeton JWT",
87
					),
88
					"alias" => $uri . "verifytoken",
555 mathias 89
					"description" => "retourne true si le jeton fourni en paramètre ou dans le header Authorization est valide, une erreur sinon"
536 mathias 90
				)
91
			)
92
		);
93
		$this->envoyerJson($infos);
94
	}
95
 
96
	/**
97
	 * Lorsqu'appelé sans éléments d'URL (service:annuaire:auth);
98
	 * les paramètres GET sont ignorés
99
	 */
100
	public function getRessource() {
101
		//echo "get ressource\n";
102
		$this->infosService();
103
	}
104
 
105
	/**
106
	 * Lorsqu'appelé avec des éléments d'URL (service:annuaire:auth/machin/chose);
107
	 * les paramètres GET sont ignorés
108
	 *
109
	 * @param array $ressources les éléments d'URL
110
	 */
111
	public function getElement($ressources) {
537 mathias 112
		// Achtétépéèch portouguech lolch
536 mathias 113
		$this->verifierSSL();
114
		// le premier paramètre d'URL définit la méthode (non-magique)
115
		if (count($ressources) > 0) {
116
			switch ($ressources[0]) {
117
				case 'login':
118
				case 'connexion':
119
					$this->connexion($ressources);
120
					break;
121
				case 'logout':
122
				case 'deconnexion':
123
					$this->deconnexion();
124
					break;
125
				case 'identity':
126
				case 'identite':
127
				case 'rafraichir':
128
				case 'refresh':
129
					$this->identite();
130
					break;
131
				case 'verifytoken':
132
				case 'verifierjeton':
133
					$this->verifierJeton();
134
					break;
135
				case 'info':
136
				default:
137
					$this->infosService();
138
			}
139
		}
140
	}
141
 
142
	/**
143
	 * Lors d'un POST avec au moins une donnée dans le body (data);
144
	 * les paramètres GET sont ignorés
145
	 * @TODO faire un point d'entrée POST qui renvoie vers les méthodes GET
146
	 *
147
	 * @param array $ressources les éléments d'URL
148
	 * @param array $pairs les paramètres POST
149
	 */
150
	public function updateElement($ressources, $pairs) {
151
		//echo "update element\n";
152
		$this->nonImplemente();
153
	}
154
 
155
	/**
156
	 * Lors d'un PUT (les éléments d'URL sont ignorés) ou d'un POST avec au moins
157
	 * un élément d'URL; dans tous les cas les paramètres GET sont ignorés
158
	 *
159
	 * @param array $pairs les paramètres POST
160
	 */
161
	public function createElement($pairs) {
162
		//echo "create element\n";
163
		$this->nonImplemente();
164
	}
165
 
166
	/**
167
	 * Lors d'un DELETE avec au moins un élément d'URL
168
	 * @TODO utiliser pour invalider un jeton (nécessite stockage)
169
	 *
170
	 * @param array $ressources les éléments d'URL
171
	 */
172
	public function deleteElement($ressources) {
173
		//echo "delete element\n";
174
		$this->nonImplemente();
175
	}
176
 
177
	/**
178
	 * Vérifie l'identité d'un utilisateur à partir de son courriel et son
179
	 * mot de passe ou d'un cookie; lui accorde un jeton et un cookie si
555 mathias 180
	 * tout va bien, sinon renvoie une erreur et détruit le cookie
181
	 * @WARNING si vous n'utilisez pas urlencode() pour fournir le mot de passe,
182
	 * le caractère "&" posera problème en GET
536 mathias 183
	 *
184
	 * @param array $ressources non utilisé
185
	 */
186
	protected function connexion($ressources) {
187
		$login = $this->getParam('login');
188
		$password = $this->getParam('password', null);
189
		if ($login == '' || $password == '') {
190
			$this->erreur("parameters <login> and <password> required");
191
		}
192
		// vérification login / password
193
		$acces = $this->verifierAcces($login, $password);
194
		if ($acces === false) {
550 mathias 195
			$this->detruireCookie();
543 mathias 196
			$this->erreur("authentication failed", 401);
536 mathias 197
		}
198
		// infos utilisateur
199
		$util = new Utilisateur($this->config);
200
		$infos = $util->getIdentiteParCourriel($login);
201
		if (count($infos) == 0 || empty($infos[$login])) {
202
			$this->erreur("could not get user info");
203
		}
541 mathias 204
		// date de dernière modification du profil
205
		$dateDerniereModif = $util->getDateDerniereModifProfil($infos[$login]['id'], true);
206
		$infos[$login]['dateDerniereModif'] = $dateDerniereModif;
536 mathias 207
		// création du jeton
555 mathias 208
		$jwt = $this->creerJeton($login, $infos[$login]);
536 mathias 209
		// création du cookie
210
		$this->creerCookie($jwt);
211
		// envoi
212
		$this->envoyerJson(array(
213
			"session" => true,
537 mathias 214
			"token" => $jwt,
215
			"duration" => intval($this->dureeJeton),
541 mathias 216
			"token_id" => $this->nomCookie,
217
			"last_modif" => $infos[$login]['dateDerniereModif']
536 mathias 218
		));
219
	}
220
 
221
	/**
222
	 * Détruit le cookie et renvoie un jeton vide ou NULL - le client
223
	 * devrait toujours remplacer son jeton par celui renvoyé par les
224
	 * méthodes de l'annuaire
225
	 */
226
	protected function deconnexion() {
227
		// suppression du cookie
228
		$this->detruireCookie();
544 mathias 229
		// envoi d'un jeton null
536 mathias 230
		$jwt = null;
231
		$this->envoyerJson(array(
232
			"session" => false,
537 mathias 233
			"token" => $jwt,
234
			"token_id" => $this->nomCookie
536 mathias 235
		));
236
	}
237
 
238
	/**
239
	 * Renvoie un jeton rafraîchi (durée de validité augmentée de $this->dureeJeton
544 mathias 240
	 * si l'utilisateur est reconnu comme détenteur d'une session active (cookie valide,
241
	 * header HTTP "Authorization" ou jeton valide); renvoie une erreur si le cookie
242
	 * et/ou le jeton sont expirés;
537 mathias 243
	 * cela permet en théorie de forger des cookies avec des jetons expirés pour se les
555 mathias 244
	 * faire rafraîchir frauduleusement, mais le canal HTTPS fait qu'un client ne peut
537 mathias 245
	 * être en possession que de ses propres jetons... au pire on peut se faire prolonger
246
	 * à l'infini même si on n'est plus inscrit à l'annuaire... @TODO faire mieux un jour
555 mathias 247
	 * Priorité : cookie > header "Authorization" > paramètre "token" @TODO vérifier cette
248
	 * stratégie, l'inverse est peut-être plus malin
536 mathias 249
	 */
250
	protected function identite() {
251
		$cookieAvecJetonValide = false;
252
		$jetonRetour = null;
253
		$erreur = '';
254
		// lire cookie
255
		if (isset($_COOKIE[$this->nomCookie])) {
256
			$jwt = $_COOKIE[$this->nomCookie];
257
			try {
258
				// rafraîchir jeton quelque soit son état - "true" permet
259
				// d'ignorer les ExpiredException (on rafraîchit le jeton
260
				// expiré car le cookie est encore valide)
261
				$jetonRetour = $this->rafraichirJeton($jwt, true);
262
				// on ne tentera pas de lire un jeton fourni en paramètre
263
				$cookieAvecJetonValide = true;
264
			} catch (Exception $e) {
265
				// si le rafraîchissement a échoué (jeton invalide - hors expiration - ou vide)
266
				// on ne fait rien et on tente la suite (jeton fourni hors cookie ?)
267
				$erreur = "invalid token in cookie";
268
			}
269
		}
270
		// si le cookie n'existait pas ou ne contenait pas un jeton
271
		if (! $cookieAvecJetonValide) {
544 mathias 272
			// lire jeton depuis header ou paramètre
273
			$jwt = $this->lireJetonDansHeader();
274
			if ($jwt == null) {
275
				// dernière chance
276
				$jwt = $this->getParam('token');
277
			}
278
			// toutes les possibilités ont été essayées
536 mathias 279
			if ($jwt != null) {
280
				try {
281
					// rafraîchir jeton si non expiré
282
					$jetonRetour = $this->rafraichirJeton($jwt);
283
				} catch (Exception $e) {
284
					// si le rafraîchissement a échoué (jeton invalide, expiré ou vide)
555 mathias 285
					$erreur = "invalid or expired token in Authorization header or parameter <token>";
536 mathias 286
				}
287
			} else {
288
				// pas de jeton valide passé en paramètre
555 mathias 289
				$erreur = ($erreur == "" ? "no token or cookie" : "invalid token in cookie / invalid or expired token in Authorization header or parameter <token>");
536 mathias 290
			}
291
		}
292
		// renvoi jeton
293
		if ($jetonRetour === null) {
294
			$this->erreur($erreur);
295
		} else {
296
			$this->envoyerJson(array(
297
				"session" => true,
537 mathias 298
				"token" => $jetonRetour,
299
				"duration" => intval($this->dureeJeton),
300
				"token_id" => $this->nomCookie
536 mathias 301
			));
302
		}
303
	}
304
 
305
	/**
306
	 * Vérifie si un jeton est valide; retourne true si oui, une erreur avec
555 mathias 307
	 * des détails si non;
308
	 * Priorité : header "Authorization" > paramètre "token"
536 mathias 309
	 */
310
	protected function verifierJeton() {
311
		// vérifie que le jeton provient bien d'ici,
312
		// et qu'il est encore valide (date)
555 mathias 313
		$jwt = $this->lireJetonDansHeader();
314
		if ($jwt == null) {
315
			$jwt = $this->getParam('token');
316
			if ($jwt == '') {
317
				$this->erreur("parameter <token> or Authorization header required");
318
			}
536 mathias 319
		}
320
		try {
321
			$jeton = JWT::decode($jwt, $this->clef, array('HS256'));
322
			$jeton = (array) $jeton;
323
		} catch (Exception $e) {
324
			$this->erreur($e->getMessage());
325
			exit;
326
		}
327
		$this->envoyerJson(true);
328
	}
329
 
330
	/**
331
	 * Reçoit un jeton JWT, et s'il est non-vide ("sub" != null), lui redonne
332
	 * une période de validité de $this->dureeJeton; si $ignorerExpiration
333
	 * vaut true, rafraîchira le jeton même s'il a expiré
334
	 * (attention à ne pas appeler cette méthode n'importe comment !);
335
	 * jette une exception si le jeton est vide, mal signé ou autre erreur,
336
	 * ou s'il a expiré et que $ignorerExpiration est différent de true
337
	 *
338
	 * @param string $jwt le jeton JWT
339
	 * @return string le jeton rafraîchi
340
	 */
341
	protected function rafraichirJeton($jwt, $ignorerExpiration=false) /* throws Exception */ {
342
		$infos = array();
343
		// vérification avec lib JWT
344
		try {
345
			$infos = JWT::decode($jwt, $this->clef, array('HS256'));
346
			$infos = (array) $infos;
347
		} catch (ExpiredException $e) {
348
			if ($ignorerExpiration === true) {
349
				// on se fiche qu'il soit expiré
350
				// décodage d'un jeton expiré
351
				// @WARNING considère que la lib JWT jette ExpiredException en dernier (vrai 12/05/2015),
352
				// ce qui signifie que la signature et le domaine sont tout de même valides - à surveiller !
353
				$infos = $this->decoderJetonExpireManuellement($jwt);
354
			} else {
355
				// on renvoie l'exception plus haut
356
				throw $e;
357
			}
358
		}
359
		// vérification des infos
360
		if (empty($infos['sub'])) {
361
			// jeton vide (wtf?)
362
			throw new Exception("empty token (no <sub>)");
363
		}
364
		// rafraîchissement
365
		$infos['exp'] = time() + $this->dureeJeton;
366
		$jwtSortie = JWT::encode($infos, $this->clef);
367
 
368
		return $jwtSortie;
369
	}
370
 
371
	/**
372
	 * Décode manuellement un jeton JWT, SANS VÉRIFIER SA SIGNATURE OU
373
	 * SON DOMAINE ! @WARNING ne pas utiliser hors du cas d'un jeton
374
	 * correct (vérifié avec la lib JWT) mais expiré !
375
	 *
376
	 * @param string $jwt un jeton vérifié comme valide, mais expiré
377
	 */
378
	protected function decoderJetonExpireManuellement($jwt) {
379
		$parts = explode('.', $jwt);
380
		$payload = $parts[1];
381
		$payload = base64_decode($payload);
382
		$payload = json_decode($payload, true);
383
 
384
		return $payload;
385
	}
386
 
387
	/**
388
	 * Crée un jeton JWT signé avec la clef
389
	 *
390
	 * @param mixed $sub subject: l'id utilisateur du détenteur du jeton si authentifié, null sinon
391
	 * @param string $exp la date d'expiration du jeton, par défaut la date actuelle plus $this->dureeJeton
392
	 * @param array $donnees les données à ajouter au jeton (infos utilisateur)
393
	 *
394
	 * @return string un jeton JWT signé
395
	 */
396
	protected function creerJeton($sub, $donnees=array(), $exp=null) {
397
		if ($exp === null) {
398
			$exp = time() + $this->dureeJeton;
399
		}
400
		$jeton = array(
401
			"iss" => "https://www.tela-botanica.org",
537 mathias 402
			"token_id" => $this->nomCookie,
536 mathias 403
			//"aud" => "http://example.com",
404
			"sub" => $sub,
405
			"iat" => time(),
406
			"exp" => $exp,
407
			//"nbf" => time() + 60,
408
			"scopes" => array("tela-botanica.org")
409
		);
410
		if (! empty($donnees)) {
411
			$jeton = array_merge($jeton, $donnees);
412
		}
413
		$jwt = JWT::encode($jeton, $this->clef);
414
 
415
		return $jwt;
416
	}
417
 
418
	/**
544 mathias 419
	 * Essaye de trouver un jeton JWT non vide dans l'entête HTTP $nomHeader (par
420
	 * défaut "Authorization")
421
	 *
422
	 * @param string $nomHeader nom de l'entête dans lequel chercher le jeton
423
	 * @return String un jeton JWT ou null
424
	 */
425
	protected function lireJetonDansHeader($nomHeader="Authorization") {
426
		$jwt = null;
427
		$headers = apache_request_headers();
428
		if (isset($headers[$nomHeader]) && ($headers[$nomHeader] != "")) {
429
			$jwt = $headers[$nomHeader];
430
		}
431
		return $jwt;
432
	}
433
 
434
	/**
536 mathias 435
	 * Crée un cookie de durée $this->dureeCookie, nommé $this->nomCookie et
436
	 * contenant $valeur
437
	 *
438
	 * @param string $valeur le contenu du cookie (de préférence un jeton JWT)
439
	 */
440
	protected function creerCookie($valeur) {
540 mathias 441
		setcookie($this->nomCookie, $valeur, time() + $this->dureeCookie, '/', null, true);
536 mathias 442
	}
443
 
444
	/**
445
	 * Renvoie le cookie avec une valeur vide et une date d'expiration dans le
446
	 * passé, afin que le navigateur le détruise au prochain appel
447
	 * @TODO envisager l'envoi d'un jeton vide plutôt que la suppression du cookie
448
	 *
449
	 * @param string $valeur la valeur du cookie, par défaut ""
450
	 */
451
	protected function detruireCookie() {
540 mathias 452
		setcookie($this->nomCookie, "", -1, '/', null, true);
536 mathias 453
	}
454
 
455
	// ---------------- Méthodes à génériciser ci-dessous ----------------------------------
456
 
457
	/**
458
	 * Message succinct pour méthodes / actions non implémentées
459
	 */
460
	protected function nonImplemente() {
461
		$this->erreur("not implemented");
462
	}
463
 
464
	/**
465
	 * Si $this->forcerSSL vaut true, envoie une erreur et termine le programme si SSL n'est pas utilisé
466
	 */
467
	protected function verifierSSL() {
468
		if ($this->forcerSSL === true) {
469
			if (empty($_SERVER['HTTPS']) || $_SERVER['HTTPS'] == 'off') {
470
				$this->erreur("HTTPS required");
471
				exit;
472
			}
473
		}
474
	}
475
 
476
	protected function getParamChain($names) {
477
		if (! is_array($names)) {
537 mathias 478
			// Hou ? (cri de chouette solitaire)
536 mathias 479
		}
480
	}
481
 
482
	/**
483
	 * Capture un paramètre de requête ($_REQUEST)
484
	 *
485
	 * @param string $name nom du paramètre à capturer
486
	 * @param string $default valeur par défaut si le paramètre n'est pas défini (ou vide, voir ci-dessous)
487
	 * @param bool $traiterVideCommeDefaut si le paramètre est défini mais vide (''), le considèrera comme non défini
488
	 *
489
	 * @return string la valeur du paramètre si défini, sinon la valeur par défaut
490
	 */
491
	protected function getParam($name, $default=null, $traiterVideCommeDefaut=false) {
492
		$ret = $default;
493
		if (isset($_REQUEST[$name])) {
494
			if ($traiterVideCommeDefaut === false || $_REQUEST[$name] !== '') {
495
				$ret = $_REQUEST[$name];
496
			}
497
		}
498
		return $ret;
499
	}
500
 
501
	/**
502
	 * Capture un paramètre GET
503
	 *
504
	 * @param string $name nom du paramètre GET à capturer
505
	 * @param string $default valeur par défaut si le paramètre n'est pas défini (ou vide, voir ci-dessous)
506
	 * @param bool $traiterVideCommeDefaut si le paramètre est défini mais vide (''), le considèrera comme non défini
507
	 *
508
	 * @return string la valeur du paramètre si défini, sinon la valeur par défaut
509
	 */
510
	protected function getGetParam($name, $default=null, $traiterVideCommeDefaut=false) {
511
		$ret = $default;
512
		if (isset($_GET[$name])) {
513
			if ($traiterVideCommeDefaut === false || $_GET[$name] !== '') {
514
				$ret = $_GET[$name];
515
			}
516
		}
517
		return $ret;
518
	}
519
 
520
	/**
521
	 * Capture un paramètre POST
522
	 *
523
	 * @param string $name nom du paramètre POST à capturer
524
	 * @param string $default valeur par défaut si le paramètre n'est pas défini (ou vide, voir ci-dessous)
525
	 * @param bool $traiterVideCommeDefaut si le paramètre est défini mais vide (''), le considèrera comme non défini
526
	 *
527
	 * @return string la valeur du paramètre si défini, sinon la valeur par défaut
528
	 */
529
	protected function getPostParam($name, $default=null, $traiterVideCommeDefaut=false) {
530
		$ret = $default;
531
		if (isset($_POST[$name])) {
532
			if ($traiterVideCommeDefaut === false || $_POST[$name] !== '') {
533
				$ret = $_POST[$name];
534
			}
535
		}
536
		return $ret;
537
	}
538
 
539
	/**
540
	 * Envoie une erreur HTTP $code (400 par défaut) avec les données $data en JSON
541
	 *
542
	 * @param mixed $data données JSON de l'erreur - généralement array("error" => "raison de l'erreur") - si
543
	 * 		seule une chaîne est transmise, sera convertie en array("error" => $data)
544
	 * @param number $code code HTTP de l'erreur, par défaut 400 (bad request)
545
	 * @param boolean $exit si true (par défaut), termine le script après avoir envoyé l'erreur
546
	 */
547
	protected function erreur($data, $code=400, $exit=true) {
548
		if (! is_array($data)) {
549
			$data = array(
550
				"error" => $data
551
			);
552
		}
553
		http_response_code($code);
554
		$this->envoyerJson($data);
555
		if ($exit === true) {
556
			exit;
557
		}
558
	}
559
}
560
 
561
/**
562
 * Mode moderne pour PHP < 5.4
563
 */
564
if (!function_exists('http_response_code')) {
565
	function http_response_code($code = NULL) {
566
		if ($code !== NULL) {
567
			switch ($code) {
568
				case 100: $text = 'Continue'; break;
569
				case 101: $text = 'Switching Protocols'; break;
570
				case 200: $text = 'OK'; break;
571
				case 201: $text = 'Created'; break;
572
				case 202: $text = 'Accepted'; break;
573
				case 203: $text = 'Non-Authoritative Information'; break;
574
				case 204: $text = 'No Content'; break;
575
				case 205: $text = 'Reset Content'; break;
576
				case 206: $text = 'Partial Content'; break;
577
				case 300: $text = 'Multiple Choices'; break;
578
				case 301: $text = 'Moved Permanently'; break;
579
				case 302: $text = 'Moved Temporarily'; break;
580
				case 303: $text = 'See Other'; break;
581
				case 304: $text = 'Not Modified'; break;
582
				case 305: $text = 'Use Proxy'; break;
583
				case 400: $text = 'Bad Request'; break;
584
				case 401: $text = 'Unauthorized'; break;
585
				case 402: $text = 'Payment Required'; break;
586
				case 403: $text = 'Forbidden'; break;
587
				case 404: $text = 'Not Found'; break;
588
				case 405: $text = 'Method Not Allowed'; break;
589
				case 406: $text = 'Not Acceptable'; break;
590
				case 407: $text = 'Proxy Authentication Required'; break;
591
				case 408: $text = 'Request Time-out'; break;
592
				case 409: $text = 'Conflict'; break;
593
				case 410: $text = 'Gone'; break;
594
				case 411: $text = 'Length Required'; break;
595
				case 412: $text = 'Precondition Failed'; break;
596
				case 413: $text = 'Request Entity Too Large'; break;
597
				case 414: $text = 'Request-URI Too Large'; break;
598
				case 415: $text = 'Unsupported Media Type'; break;
599
				case 500: $text = 'Internal Server Error'; break;
600
				case 501: $text = 'Not Implemented'; break;
601
				case 502: $text = 'Bad Gateway'; break;
602
				case 503: $text = 'Service Unavailable'; break;
603
				case 504: $text = 'Gateway Time-out'; break;
604
				case 505: $text = 'HTTP Version not supported'; break;
605
				case 666: $text = 'Couscous overheat'; break;
606
				default:
607
					exit('Unknown http status code "' . htmlentities($code) . '"');
608
					break;
609
			}
610
 
611
			$protocol = (isset($_SERVER['SERVER_PROTOCOL']) ? $_SERVER['SERVER_PROTOCOL'] : 'HTTP/1.0');
612
			header($protocol . ' ' . $code . ' ' . $text);
613
			$GLOBALS['http_response_code'] = $code;
614
		} else {
615
			$code = (isset($GLOBALS['http_response_code']) ? $GLOBALS['http_response_code'] : 200);
616
		}
617
		return $code;
618
	}
619
}