hay pequenias modificaciones en el workplace, se cuelga por eso pero en un rato lo...

[z.facultad/75.42/plaqui.git] / Server / include / plaqui / server / server.h

diff --git a/Server/include/plaqui/server/server.h b/Server/include/plaqui/server/server.h
index 5f2e959deb794bb2cf3fed3cf7a8dc24231db28b..75fbfdaca53014914cf5b728b5abb1144f01ef7d 100644 (file)
--- a/Server/include/plaqui/server/server.h
+++ b/Server/include/plaqui/server/server.h
@@ -129,7 +129,8 @@ namespace Server {
                         *
                         * \param port Puerto en el cual escuchar.
                         */
                         *
                         * \param port Puerto en el cual escuchar.
                         */

-                       Server(int port = 7522);
+                       Server(const std::string& plant_filename,
+                                       const Connection::Port& port = 7522);

 
                        /**
                         * Maneja los comandos recibidos por las conexiones.
 
                        /**
                         * Maneja los comandos recibidos por las conexiones.