diff options
Diffstat (limited to 'portal/tcp')
| -rw-r--r-- | portal/tcp/portal.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/portal/tcp/portal.ml b/portal/tcp/portal.ml index a3fc730..76fbbc8 100644 --- a/portal/tcp/portal.ml +++ b/portal/tcp/portal.ml @@ -16,7 +16,8 @@ let negotiate ?from domain ((stream, push) : t) = (("http://www.w3.org/2000/xmlns/", "xmlns"), xmlns); (("http://www.w3.org/2000/xmlns/", "stream"), "http://etherx.jabber.org/streams")] - in [`Start_element + in [`Xml {version="1.0"; encoding=None; standalone=None}; + `Start_element (("http://etherx.jabber.org/streams", "stream"), Option.fold ~none:attributes |