Subversion Repositories Applications.annuaire

Rev

Rev 547 | Rev 551 | 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
					),
81
					"description" => "confirme l'authentification et la session; rafraîchit le jeton fourni (dans le cookie " . $this->nomCookie . " ou en paramètre)"
82
				),
83
				'verifierjeton' => array(
84
					"uri" => $uri . "identite",
85
					"parametres" => array(
86
						"token" => "jeton JWT",
87
					),
88
					"alias" => $uri . "verifytoken",
89
					"description" => "retourne true si le jeton fourni en paramètre est valide, une erreur sinon"
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
		//echo "get element\n";
115
		//var_dump($ressources);
116
		// le premier paramètre d'URL définit la méthode (non-magique)
117
		if (count($ressources) > 0) {
118
			switch ($ressources[0]) {
119
				case 'login':
120
				case 'connexion':
121
					$this->connexion($ressources);
122
					break;
123
				case 'logout':
124
				case 'deconnexion':
125
					$this->deconnexion();
126
					break;
127
				case 'identity':
128
				case 'identite':
129
				case 'rafraichir':
130
				case 'refresh':
131
					$this->identite();
132
					break;
133
				case 'verifytoken':
134
				case 'verifierjeton':
135
					$this->verifierJeton();
136
					break;
137
				case 'info':
138
				default:
139
					$this->infosService();
140
			}
141
		}
142
	}
143
 
144
	/**
145
	 * Lors d'un POST avec au moins une donnée dans le body (data);
146
	 * les paramètres GET sont ignorés
147
	 * @TODO faire un point d'entrée POST qui renvoie vers les méthodes GET
148
	 *
149
	 * @param array $ressources les éléments d'URL
150
	 * @param array $pairs les paramètres POST
151
	 */
152
	public function updateElement($ressources, $pairs) {
153
		//echo "update element\n";
154
		//var_dump($ressources);
155
		//var_dump($pairs);
156
		$this->nonImplemente();
157
	}
158
 
159
	/**
160
	 * Lors d'un PUT (les éléments d'URL sont ignorés) ou d'un POST avec au moins
161
	 * un élément d'URL; dans tous les cas les paramètres GET sont ignorés
162
	 *
163
	 * @param array $pairs les paramètres POST
164
	 */
165
	public function createElement($pairs) {
166
		//echo "create element\n";
167
		//var_dump($pairs);
168
		$this->nonImplemente();
169
	}
170
 
171
	/**
172
	 * Lors d'un DELETE avec au moins un élément d'URL
173
	 * @TODO utiliser pour invalider un jeton (nécessite stockage)
174
	 *
175
	 * @param array $ressources les éléments d'URL
176
	 */
177
	public function deleteElement($ressources) {
178
		//echo "delete element\n";
179
		//var_dump($ressources);
180
		$this->nonImplemente();
181
	}
182
 
183
	/**
184
	 * Vérifie l'identité d'un utilisateur à partir de son courriel et son
185
	 * mot de passe ou d'un cookie; lui accorde un jeton et un cookie si
186
	 * tout va bien, sinon renvoie une erreur
187
	 *
188
	 * @param array $ressources non utilisé
189
	 */
190
	protected function connexion($ressources) {
191
		$login = $this->getParam('login');
192
		$password = $this->getParam('password', null);
193
		if ($login == '' || $password == '') {
194
			$this->erreur("parameters <login> and <password> required");
195
		}
196
		// vérification login / password
197
		$acces = $this->verifierAcces($login, $password);
198
		if ($acces === false) {
549 mathias 199
			$this->detruireCookie();
543 mathias 200
			$this->erreur("authentication failed", 401);
536 mathias 201
		}
202
		// infos utilisateur
203
		$util = new Utilisateur($this->config);
204
		$infos = $util->getIdentiteParCourriel($login);
205
		if (count($infos) == 0 || empty($infos[$login])) {
206
			$this->erreur("could not get user info");
207
		}
541 mathias 208
		// date de dernière modification du profil
209
		$dateDerniereModif = $util->getDateDerniereModifProfil($infos[$login]['id'], true);
210
		$infos[$login]['dateDerniereModif'] = $dateDerniereModif;
536 mathias 211
		// création du jeton
212
		$jwt = $this->creerjeton($login, $infos[$login]);
213
		// création du cookie
214
		$this->creerCookie($jwt);
215
		// envoi
216
		$this->envoyerJson(array(
217
			"session" => true,
537 mathias 218
			"token" => $jwt,
219
			"duration" => intval($this->dureeJeton),
541 mathias 220
			"token_id" => $this->nomCookie,
221
			"last_modif" => $infos[$login]['dateDerniereModif']
536 mathias 222
		));
223
	}
224
 
225
	/**
226
	 * Détruit le cookie et renvoie un jeton vide ou NULL - le client
227
	 * devrait toujours remplacer son jeton par celui renvoyé par les
228
	 * méthodes de l'annuaire
229
	 */
230
	protected function deconnexion() {
231
		// suppression du cookie
232
		$this->detruireCookie();
544 mathias 233
		// envoi d'un jeton null
536 mathias 234
		$jwt = null;
235
		$this->envoyerJson(array(
236
			"session" => false,
537 mathias 237
			"token" => $jwt,
238
			"token_id" => $this->nomCookie
536 mathias 239
		));
240
	}
241
 
242
	/**
243
	 * Renvoie un jeton rafraîchi (durée de validité augmentée de $this->dureeJeton
544 mathias 244
	 * si l'utilisateur est reconnu comme détenteur d'une session active (cookie valide,
245
	 * header HTTP "Authorization" ou jeton valide); renvoie une erreur si le cookie
246
	 * et/ou le jeton sont expirés;
537 mathias 247
	 * cela permet en théorie de forger des cookies avec des jetons expirés pour se les
248
	 * faire rafraîchir franduleusement, mais le canal HTTPS fait qu'un client ne peut
249
	 * être en possession que de ses propres jetons... au pire on peut se faire prolonger
250
	 * à l'infini même si on n'est plus inscrit à l'annuaire... @TODO faire mieux un jour
544 mathias 251
	 * Priorité : cookie > headers > paramètre "token" @TODO vérifier cette stratégie
536 mathias 252
	 */
253
	protected function identite() {
254
		$cookieAvecJetonValide = false;
255
		$jetonRetour = null;
256
		$erreur = '';
257
		// lire cookie
258
		if (isset($_COOKIE[$this->nomCookie])) {
259
			$jwt = $_COOKIE[$this->nomCookie];
260
			try {
261
				// rafraîchir jeton quelque soit son état - "true" permet
262
				// d'ignorer les ExpiredException (on rafraîchit le jeton
263
				// expiré car le cookie est encore valide)
264
				$jetonRetour = $this->rafraichirJeton($jwt, true);
265
				// on ne tentera pas de lire un jeton fourni en paramètre
266
				$cookieAvecJetonValide = true;
267
			} catch (Exception $e) {
268
				// si le rafraîchissement a échoué (jeton invalide - hors expiration - ou vide)
269
				// on ne fait rien et on tente la suite (jeton fourni hors cookie ?)
270
				$erreur = "invalid token in cookie";
271
			}
272
		}
273
		// si le cookie n'existait pas ou ne contenait pas un jeton
274
		if (! $cookieAvecJetonValide) {
544 mathias 275
			// lire jeton depuis header ou paramètre
276
			$jwt = $this->lireJetonDansHeader();
277
			if ($jwt == null) {
278
				// dernière chance
279
				$jwt = $this->getParam('token');
280
			}
281
			// toutes les possibilités ont été essayées
536 mathias 282
			if ($jwt != null) {
283
				try {
284
					// rafraîchir jeton si non expiré
285
					$jetonRetour = $this->rafraichirJeton($jwt);
286
				} catch (Exception $e) {
287
					// si le rafraîchissement a échoué (jeton invalide, expiré ou vide)
544 mathias 288
					$erreur = "invalid or expired token in header or parameter";
536 mathias 289
				}
290
			} else {
291
				// pas de jeton valide passé en paramètre
544 mathias 292
				$erreur = ($erreur == "" ? "no token or cookie" : "invalid token in cookie / invalid or expired token in header or parameter");
536 mathias 293
			}
294
		}
295
		// renvoi jeton
296
		if ($jetonRetour === null) {
297
			$this->erreur($erreur);
298
		} else {
299
			$this->envoyerJson(array(
300
				"session" => true,
537 mathias 301
				"token" => $jetonRetour,
302
				"duration" => intval($this->dureeJeton),
303
				"token_id" => $this->nomCookie
536 mathias 304
			));
305
		}
306
	}
307
 
308
	/**
309
	 * Vérifie si un jeton est valide; retourne true si oui, une erreur avec
310
	 * des détails si non
311
	 */
312
	protected function verifierJeton() {
313
		// vérifie que le jeton provient bien d'ici,
314
		// et qu'il est encore valide (date)
315
		$jwt = $this->getParam('token');
316
		if ($jwt == '') {
317
			$this->erreur("parameter <token> required");
318
		}
319
		try {
320
			$jeton = JWT::decode($jwt, $this->clef, array('HS256'));
321
			$jeton = (array) $jeton;
322
		} catch (Exception $e) {
323
			$this->erreur($e->getMessage());
324
			exit;
325
		}
326
		//print_r($jeton);
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
			echo " #Jeton vide";
363
			throw new Exception("empty token (no <sub>)");
364
		}
365
		// rafraîchissement
366
		$infos['exp'] = time() + $this->dureeJeton;
367
		$jwtSortie = JWT::encode($infos, $this->clef);
368
 
369
		return $jwtSortie;
370
	}
371
 
372
	/**
373
	 * Décode manuellement un jeton JWT, SANS VÉRIFIER SA SIGNATURE OU
374
	 * SON DOMAINE ! @WARNING ne pas utiliser hors du cas d'un jeton
375
	 * correct (vérifié avec la lib JWT) mais expiré !
376
	 *
377
	 * @param string $jwt un jeton vérifié comme valide, mais expiré
378
	 */
379
	protected function decoderJetonExpireManuellement($jwt) {
380
		$parts = explode('.', $jwt);
381
		$payload = $parts[1];
382
		$payload = base64_decode($payload);
383
		$payload = json_decode($payload, true);
384
 
385
		return $payload;
386
	}
387
 
388
	/**
389
	 * Crée un jeton JWT signé avec la clef
390
	 *
391
	 * @param mixed $sub subject: l'id utilisateur du détenteur du jeton si authentifié, null sinon
392
	 * @param string $exp la date d'expiration du jeton, par défaut la date actuelle plus $this->dureeJeton
393
	 * @param array $donnees les données à ajouter au jeton (infos utilisateur)
394
	 *
395
	 * @return string un jeton JWT signé
396
	 */
397
	protected function creerJeton($sub, $donnees=array(), $exp=null) {
398
		if ($exp === null) {
399
			$exp = time() + $this->dureeJeton;
400
		}
401
		$jeton = array(
402
			"iss" => "https://www.tela-botanica.org",
537 mathias 403
			"token_id" => $this->nomCookie,
536 mathias 404
			//"aud" => "http://example.com",
405
			"sub" => $sub,
406
			"iat" => time(),
407
			"exp" => $exp,
408
			//"nbf" => time() + 60,
409
			"scopes" => array("tela-botanica.org")
410
		);
411
		if (! empty($donnees)) {
412
			$jeton = array_merge($jeton, $donnees);
413
		}
414
		$jwt = JWT::encode($jeton, $this->clef);
415
 
416
		return $jwt;
417
	}
418
 
419
	/**
544 mathias 420
	 * Essaye de trouver un jeton JWT non vide dans l'entête HTTP $nomHeader (par
421
	 * défaut "Authorization")
422
	 *
423
	 * @param string $nomHeader nom de l'entête dans lequel chercher le jeton
424
	 * @return String un jeton JWT ou null
425
	 */
426
	protected function lireJetonDansHeader($nomHeader="Authorization") {
427
		$jwt = null;
428
		$headers = apache_request_headers();
429
		if (isset($headers[$nomHeader]) && ($headers[$nomHeader] != "")) {
430
			$jwt = $headers[$nomHeader];
431
		}
432
		return $jwt;
433
	}
434
 
435
	/**
536 mathias 436
	 * Crée un cookie de durée $this->dureeCookie, nommé $this->nomCookie et
437
	 * contenant $valeur
438
	 *
439
	 * @param string $valeur le contenu du cookie (de préférence un jeton JWT)
440
	 */
441
	protected function creerCookie($valeur) {
540 mathias 442
		setcookie($this->nomCookie, $valeur, time() + $this->dureeCookie, '/', null, true);
536 mathias 443
	}
444
 
445
	/**
446
	 * Renvoie le cookie avec une valeur vide et une date d'expiration dans le
447
	 * passé, afin que le navigateur le détruise au prochain appel
448
	 * @TODO envisager l'envoi d'un jeton vide plutôt que la suppression du cookie
449
	 *
450
	 * @param string $valeur la valeur du cookie, par défaut ""
451
	 */
452
	protected function detruireCookie() {
540 mathias 453
		setcookie($this->nomCookie, "", -1, '/', null, true);
536 mathias 454
	}
455
 
456
	// ---------------- Méthodes à génériciser ci-dessous ----------------------------------
457
 
458
	/**
459
	 * Message succinct pour méthodes / actions non implémentées
460
	 */
461
	protected function nonImplemente() {
462
		$this->erreur("not implemented");
463
	}
464
 
465
	/**
466
	 * Si $this->forcerSSL vaut true, envoie une erreur et termine le programme si SSL n'est pas utilisé
467
	 */
468
	protected function verifierSSL() {
469
		if ($this->forcerSSL === true) {
470
			if (empty($_SERVER['HTTPS']) || $_SERVER['HTTPS'] == 'off') {
471
				$this->erreur("HTTPS required");
472
				exit;
473
			}
474
		}
475
	}
476
 
477
	protected function getParamChain($names) {
478
		if (! is_array($names)) {
537 mathias 479
			// Hou ? (cri de chouette solitaire)
536 mathias 480
		}
481
	}
482
 
483
	/**
484
	 * Capture un paramètre de requête ($_REQUEST)
485
	 *
486
	 * @param string $name nom du paramètre à capturer
487
	 * @param string $default valeur par défaut si le paramètre n'est pas défini (ou vide, voir ci-dessous)
488
	 * @param bool $traiterVideCommeDefaut si le paramètre est défini mais vide (''), le considèrera comme non défini
489
	 *
490
	 * @return string la valeur du paramètre si défini, sinon la valeur par défaut
491
	 */
492
	protected function getParam($name, $default=null, $traiterVideCommeDefaut=false) {
493
		$ret = $default;
494
		if (isset($_REQUEST[$name])) {
495
			if ($traiterVideCommeDefaut === false || $_REQUEST[$name] !== '') {
496
				$ret = $_REQUEST[$name];
497
			}
498
		}
499
		return $ret;
500
	}
501
 
502
	/**
503
	 * Capture un paramètre GET
504
	 *
505
	 * @param string $name nom du paramètre GET à capturer
506
	 * @param string $default valeur par défaut si le paramètre n'est pas défini (ou vide, voir ci-dessous)
507
	 * @param bool $traiterVideCommeDefaut si le paramètre est défini mais vide (''), le considèrera comme non défini
508
	 *
509
	 * @return string la valeur du paramètre si défini, sinon la valeur par défaut
510
	 */
511
	protected function getGetParam($name, $default=null, $traiterVideCommeDefaut=false) {
512
		$ret = $default;
513
		if (isset($_GET[$name])) {
514
			if ($traiterVideCommeDefaut === false || $_GET[$name] !== '') {
515
				$ret = $_GET[$name];
516
			}
517
		}
518
		return $ret;
519
	}
520
 
521
	/**
522
	 * Capture un paramètre POST
523
	 *
524
	 * @param string $name nom du paramètre POST à capturer
525
	 * @param string $default valeur par défaut si le paramètre n'est pas défini (ou vide, voir ci-dessous)
526
	 * @param bool $traiterVideCommeDefaut si le paramètre est défini mais vide (''), le considèrera comme non défini
527
	 *
528
	 * @return string la valeur du paramètre si défini, sinon la valeur par défaut
529
	 */
530
	protected function getPostParam($name, $default=null, $traiterVideCommeDefaut=false) {
531
		$ret = $default;
532
		if (isset($_POST[$name])) {
533
			if ($traiterVideCommeDefaut === false || $_POST[$name] !== '') {
534
				$ret = $_POST[$name];
535
			}
536
		}
537
		return $ret;
538
	}
539
 
540
	/**
541
	 * Envoie une erreur HTTP $code (400 par défaut) avec les données $data en JSON
542
	 *
543
	 * @param mixed $data données JSON de l'erreur - généralement array("error" => "raison de l'erreur") - si
544
	 * 		seule une chaîne est transmise, sera convertie en array("error" => $data)
545
	 * @param number $code code HTTP de l'erreur, par défaut 400 (bad request)
546
	 * @param boolean $exit si true (par défaut), termine le script après avoir envoyé l'erreur
547
	 */
548
	protected function erreur($data, $code=400, $exit=true) {
549
		if (! is_array($data)) {
550
			$data = array(
551
				"error" => $data
552
			);
553
		}
554
		http_response_code($code);
555
		$this->envoyerJson($data);
556
		if ($exit === true) {
557
			exit;
558
		}
559
	}
560
}
561
 
562
/**
563
 * Mode moderne pour PHP < 5.4
564
 */
565
if (!function_exists('http_response_code')) {
566
	function http_response_code($code = NULL) {
567
		if ($code !== NULL) {
568
			switch ($code) {
569
				case 100: $text = 'Continue'; break;
570
				case 101: $text = 'Switching Protocols'; break;
571
				case 200: $text = 'OK'; break;
572
				case 201: $text = 'Created'; break;
573
				case 202: $text = 'Accepted'; break;
574
				case 203: $text = 'Non-Authoritative Information'; break;
575
				case 204: $text = 'No Content'; break;
576
				case 205: $text = 'Reset Content'; break;
577
				case 206: $text = 'Partial Content'; break;
578
				case 300: $text = 'Multiple Choices'; break;
579
				case 301: $text = 'Moved Permanently'; break;
580
				case 302: $text = 'Moved Temporarily'; break;
581
				case 303: $text = 'See Other'; break;
582
				case 304: $text = 'Not Modified'; break;
583
				case 305: $text = 'Use Proxy'; break;
584
				case 400: $text = 'Bad Request'; break;
585
				case 401: $text = 'Unauthorized'; break;
586
				case 402: $text = 'Payment Required'; break;
587
				case 403: $text = 'Forbidden'; break;
588
				case 404: $text = 'Not Found'; break;
589
				case 405: $text = 'Method Not Allowed'; break;
590
				case 406: $text = 'Not Acceptable'; break;
591
				case 407: $text = 'Proxy Authentication Required'; break;
592
				case 408: $text = 'Request Time-out'; break;
593
				case 409: $text = 'Conflict'; break;
594
				case 410: $text = 'Gone'; break;
595
				case 411: $text = 'Length Required'; break;
596
				case 412: $text = 'Precondition Failed'; break;
597
				case 413: $text = 'Request Entity Too Large'; break;
598
				case 414: $text = 'Request-URI Too Large'; break;
599
				case 415: $text = 'Unsupported Media Type'; break;
600
				case 500: $text = 'Internal Server Error'; break;
601
				case 501: $text = 'Not Implemented'; break;
602
				case 502: $text = 'Bad Gateway'; break;
603
				case 503: $text = 'Service Unavailable'; break;
604
				case 504: $text = 'Gateway Time-out'; break;
605
				case 505: $text = 'HTTP Version not supported'; break;
606
				case 666: $text = 'Couscous overheat'; break;
607
				default:
608
					exit('Unknown http status code "' . htmlentities($code) . '"');
609
					break;
610
			}
611
 
612
			$protocol = (isset($_SERVER['SERVER_PROTOCOL']) ? $_SERVER['SERVER_PROTOCOL'] : 'HTTP/1.0');
613
			header($protocol . ' ' . $code . ' ' . $text);
614
			$GLOBALS['http_response_code'] = $code;
615
		} else {
616
			$code = (isset($GLOBALS['http_response_code']) ? $GLOBALS['http_response_code'] : 200);
617
		}
618
		return $code;
619
	}
620
}