diff options
Diffstat (limited to '')
| -rw-r--r-- | lang/maude/files/patch-src_ObjectSystem_socketStuff.cc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/maude/files/patch-src_ObjectSystem_socketStuff.cc b/lang/maude/files/patch-src_ObjectSystem_socketStuff.cc new file mode 100644 index 000000000000..4e930fe49627 --- /dev/null +++ b/lang/maude/files/patch-src_ObjectSystem_socketStuff.cc @@ -0,0 +1,11 @@ +--- src/ObjectSystem/socketStuff.cc.orig 2018-08-27 20:56:09 UTC ++++ src/ObjectSystem/socketStuff.cc +@@ -219,7 +219,7 @@ SocketManagerSymbol::createServerTcpSocket(FreeDagNode + sockName.sin_family = AF_INET; + sockName.sin_port = htons(port); + sockName.sin_addr.s_addr = htonl(INADDR_ANY); // HACK - what is the portable way to set this? +- if (bind(fd, reinterpret_cast<sockaddr*>(&sockName), sizeof(sockName)) == -1) ++ if (::bind(fd, reinterpret_cast<sockaddr*>(&sockName), sizeof(sockName)) == -1) + { + const char* errText = strerror(errno); + DebugAdvisory("unexpected bind() error with fd " << fd << ": " << errText); |