--TEST--
SOAP Server 12: WSDL generation
--SKIPIF--
<?php
if (PHP_OS_FAMILY === "Windows") {
    die("skip currently unsupported on Windows");
}
?>
--EXTENSIONS--
soap
--GET--
WSDL
--ENV--
LSAN_OPTIONS=detect_leaks=0
--FILE--
<?php
function Add($x,$y) {
  return $x+$y;
}

$server = new soapserver(null,array('uri'=>"http://testuri.org"));
$server->addfunction("Add");
$server->handle();
echo "ok\n";
?>
--EXPECT--
<?xml version="1.0" encoding="UTF-8"?>
<SOAP-ENV:Envelope xmlns:SOAP-ENV="http://schemas.xmlsoap.org/soap/envelope/"><SOAP-ENV:Body><SOAP-ENV:Fault><faultcode>SOAP-ENV:Server</faultcode><faultstring>WSDL generation is not supported yet</faultstring></SOAP-ENV:Fault></SOAP-ENV:Body></SOAP-ENV:Envelope>