Re: [PHP] Type of a variable in PHP

Hi, On Fri, 2013-03-15 at 09:55 +, Kevin Peterson wrote: > Have two questions - > 1. How to find type of a variable in PHP. > 2. How to find the type of an array in PHP. > > Please help. > Use this: http://php.net/manual/en/function.gettype.php Regards Karim -- Karim

Re: [PHP] PHP context editor

eclipse for an complete IDE (Multiplatform), notepad++ on Windows, textwrangler on Mac or vim on Linux Regards -- Karim Geiger B1 Systems GmbH Osterfeldstraße 7 / 85088 Vohburg / http://www.b1-systems.de GF: Ralph Dehner / Unternehmenssitz: Vohburg / AG: Ingolstadt,HRB 3537 signature.asc Descri

Re: [PHP] Trying to understand what I've broken to not allow mkdir() to work.

thing LOOKS any different between the two repos, but I don't know how to > tell beyond comparing ls outputs. > > Any help would be good. What happens if you're making an ls -la in your Terminal on your SVN folder? Could you paste the output? It looks like the owner or permissio

Re: [PHP] Making a Timeout Expiration Length to Session Variables

gt; > > Q: What's the best way to implement this functionality? You can either use cookies or do something like that: http://stackoverflow.com/questions/3068744/php-session-timeout In your case is would be if ($_SESSION['timeout'] + 5 * 60 < time()) { // session time

Re: [PHP] Sending headers to server

> and, > > header('HTTP/1.1 500 Internal Server Error', true, 500); > > result in nothing happening on the client side. > > What am I missing? > Works for me. What happens exactly? Do you get a 200? Karim -- Karim Geiger Auszubildender Fachinformatiker

Re: [PHP] Sending headers to server

Hi Miguel, On 08/02/2013 10:50 AM, Miguel Guedes wrote: > Hi Karim, > > On 01/08/13 15:40, Karim Geiger wrote: >> >> Works for me. What happens exactly? Do you get a 200? >> > > That's exactly right - I always get a 200. How can I diagnose this? >

Re: [PHP] Sending headers to server

('HTTP/1.1 500 Internal Server Error', true, 500); > > ?> allright, that's weird. I'm currently not able to reproduce your problem but I've found out that some others are experiencing the same problem like you do. They found this solution to work: header($_

Re: [PHP] Sending headers to server

ost as well and it worked all properly. Weird behaviour, can anyone explain why this happens? Regards Karim -- Karim Geiger Auszubildender Fachinformatiker AE B1 Systems GmbH Osterfeldstraße 7 / 85088 Vohburg / http://www.b1-systems.de GF: Ralph Dehner / Unternehmenssitz: Vohburg / AG: Ingolst