diff --git a/ecrire/inc_utils.php b/ecrire/inc_utils.php index c6f91519f0793b324aa4cf77dbda8786489acfc2..7307f807a824380412e03b2dde058f12c6eedb3e 100644 --- a/ecrire/inc_utils.php +++ b/ecrire/inc_utils.php @@ -544,6 +544,10 @@ function redirige_par_entete($url, $fin="") { exit; } +function redirige_url_public($script, $args="") { + redirige_par_entete(generer_url_public($script, $args, true)); +} + // transformation XML des "&" en "&" function quote_amp($u) { return preg_replace(