get_head_headers()

Deze functie vraagt de HTTP headers op van een URI, net zoals get_headers alleen doet deze functie ook werkelijk een HEAD aanvraag waar get_headers een GET-aanvraag doet. Dit is vooral handig voor statische content, zo hoeft Apache bijvoorbeeld niet een bestand klaar te zetten wanneer je alleen maar de last-modified datum wilt weten. PHP wordt (helaas) wel volledig uitgevoerd, tenzij je een slim script hebt dat de HEAD request method afvangt.

Ingebakken zit ook de mogelijkheid om redirects te volgen net zoals de standaard functies van PHP doen maar is het resultaat van get_head_headers hier logischer dan die van get_headers (die geeft de headers terug van alle redirects) Hij is bestand tegen oneindige redirect-lussen (bijv. bestanden die via Location naar zichzelf verwijzen, PHP heeft dit zelf ook maar zonder melding en met een maximum van 20 geloof ik)

Let op dat het niet een drop-in replacement is; Deze functie heeft als 2e argument of hij wel of niet redirects moet volgen (standaard niet) terwijl de native variant hier de switch heeft om er logische output uit te krijgen.

Voorbeeld: http://phphulp.ikhoefgeen.nl/get_head_headers.php

Gesponsorde koppelingen

PHP script bestanden

1. getheadheaders

Er zijn 4 reacties op 'Getheadheaders'

PHP hulp
0 seconden vanaf nu

 

Gesponsorde koppelingen

- -
20 jaar geleden

 

0 -0

Ziet er (zoals altijd) netjes uit!

Richard van Velzen
20 jaar geleden

 

0 -0

Er zijn genoeg webservers die HEAD-requests helemaal niet ondersteunen, en een GET-request is echt niet zoveel zwaarder.

iltar van der berg
20 jaar geleden

 

0 -0

Zou je in iedergeval willen zeggen hoe of wat je bent als browser :)

PHP hulp
0 seconden vanaf nu

 

Gesponsorde koppelingen

Steff an
20 jaar geleden

 

0 -0

Jelmer, een klein 'bugje'... Wanneer je meerdere cookies set op een pagina, vervolgens van die pagina de headers ophaald, dan krijg je maar een 'set-cookie header' in je array. Ook wel logisch, want het is dezelfde 'key'.