comando php per aprire un'URI

[cicoandcico]

mi serve un modo per aprire direttamente un'URI da una pagina php, tipo
goto("www.ciao.it");
perchè voglio intergrare in un sito un semplicissimo form per la ricerca con google.

<form method="GET" action="google.php">
	  <input type="text" name="search" size="10">
	  <button type="submit">Go</button>
	  </input>
</form>
<?php
	if (IsSet($_GET["search"]) and $_GET["search"] != "")
	{
	 $search = $_GET["search"];
	 $uri = "http://www.google.com/search?q=$search";
	 QUI CI ANDREBBE IL COMANDO
	}
?>

[cionci]

Hai due strade... Gli header HTTP e javascript:

header("Location: ".$uri); //va fatto prima di qualsiasi output


?>
<script>
location = <?=$uri?>;
</script>
<?

[cicoandcico]

ok, mi c'è voluto un po' ma ora l'header funziona. esiste un comando html per impostare un minimo di caratteri nel form, in modo che premendo go senza inserire testo non carichi google.php?

[cionci]

Sicuro che rispetti lo standard HTML il codice sopra ?
Come mai hai messo il bottone dentro l'input ?

In ogni caso bisogna farlo con JavaScript... Una volta premuto il pulsante bisogna controllare che il campo sia riempito... Ora però non mi ricordo come si fa ad interrompere l'esecuzione in modo che non si voglia eseguire google.php...