MediaServ: Update to new SENF library API

[mediaserv.git] / Server / HTTPRequest.cc

diff --git a/Server/HTTPRequest.cc b/Server/HTTPRequest.cc
index 4fb444e..31b546c 100644 (file)
--- a/Server/HTTPRequest.cc
+++ b/Server/HTTPRequest.cc
@@ -21,20 +21,20 @@
 prefix_ g0dil::mediaserv::HTTPRequest::HTTPRequest()
 {}
 
-prefix_ g0dil::mediaserv::HTTPRequest::HTTPRequest(satcom::lib::FileHandle handle,
+prefix_ g0dil::mediaserv::HTTPRequest::HTTPRequest(senf::FileHandle handle,
                                                    std::string const & request)
 {
     parseRequest(handle,request);
 }
 
-prefix_ void g0dil::mediaserv::HTTPRequest::parseRequest(satcom::lib::FileHandle handle,
+prefix_ void g0dil::mediaserv::HTTPRequest::parseRequest(senf::FileHandle handle,
                                                          std::string const & request)
 {
-    typedef satcom::lib::ClientSocketHandle< satcom::lib::MakeSocketPolicy< 
-       satcom::lib::INet4AddressingPolicy,
-       satcom::lib::ConnectedCommunicationPolicy >::policy> IPHandle;
+    typedef senf::ClientSocketHandle< senf::MakeSocketPolicy< 
+       senf::INet4AddressingPolicy,
+       senf::ConnectedCommunicationPolicy >::policy> IPHandle;
     try {
-       host_ = satcom::lib::dynamic_socket_cast<IPHandle>(handle).peer().host();
+       host_ = senf::dynamic_socket_cast<IPHandle>(handle).peer().host();
     }
     catch (std::bad_cast const *) {
        host_ = "(unidentified address)";