getPersons ()); $p = deXmlify ($persons); exit (1); $encoding = FALSE; if (isset ($_SERVER['HTTP_ACCEPT_ENCODING']) && strpos ($_SERVER['HTTP_ACCEPT_ENCODING'], 'x-gzip') !== FALSE) $encoding = "x-gzip"; if (isset ($_SERVER['HTTP_ACCEPT_ENCODING']) && strpos ($_SERVER['HTTP_ACCEPT_ENCODING'], 'gzip') !== FALSE) $encoding = "gzip"; header ('Content-type: text/xml'); $result = FALSE; if ($encoding !== FALSE) $result = gzcompress ($persons); if ($result !== FALSE) { header ('Content-Encoding: ' . $encoding); print ("\x1f\x8b\x08\x00\x00\x00\x00\x00"); print ($result); } else print ($persons); ?>