Se agregan un par de mutex porque el server se muere con segmentation fault

[z.facultad/75.42/plaqui.git] / Server / src / string.cpp

diff --git a/Server/src/string.cpp b/Server/src/string.cpp
index edc522c3d17a6c4312205d5f74df1978175592ae..7062bb0ab222e76ddead307c629748dbfaa77f54 100644 (file)
--- a/Server/src/string.cpp
+++ b/Server/src/string.cpp
@@ -33,7 +33,10 @@
 #endif // DEBUG
 
 const std::string PlaQui::Server::String::SPACE_CHARS = " \t\n\r";
 #endif // DEBUG
 
 const std::string PlaQui::Server::String::SPACE_CHARS = " \t\n\r";

-                       
+
+PlaQui::Server::String::~String(void) {
+}
+

 PlaQui::Server::String::String(const std::string& str):
                std::string(str.c_str()) {
 }
 PlaQui::Server::String::String(const std::string& str):
                std::string(str.c_str()) {
 }