| OLD | NEW |
| 1 // Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE.md file. | 3 // BSD-style license that can be found in the LICENSE.md file. |
| 4 | 4 |
| 5 #if defined(FLETCH_TARGET_OS_WIN) && defined(FLETCH_ENABLE_LIVE_CODING) | 5 #if defined(FLETCH_TARGET_OS_WIN) && defined(FLETCH_ENABLE_LIVE_CODING) |
| 6 | 6 |
| 7 #include "src/shared/native_socket.h" | 7 #include "src/shared/native_socket.h" |
| 8 | 8 |
| 9 #include <winsock2.h> | 9 #include <winsock2.h> |
| 10 #include <ws2tcpip.h> | 10 #include <ws2tcpip.h> |
| 11 | 11 |
| (...skipping 145 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 157 reinterpret_cast<char*>(&option), sizeof(option)); | 157 reinterpret_cast<char*>(&option), sizeof(option)); |
| 158 if (status == SOCKET_ERROR) { | 158 if (status == SOCKET_ERROR) { |
| 159 Print::Error("Failed setting TCP_NODELAY socket options [%d]", | 159 Print::Error("Failed setting TCP_NODELAY socket options [%d]", |
| 160 WSAGetLastError()); | 160 WSAGetLastError()); |
| 161 } | 161 } |
| 162 } | 162 } |
| 163 | 163 |
| 164 } // namespace fletch | 164 } // namespace fletch |
| 165 | 165 |
| 166 #endif // def'd(FLETCH_TARGET_OS_WIN) && def'd(FLETCH_ENABLE_LIVE_CODING) | 166 #endif // def'd(FLETCH_TARGET_OS_WIN) && def'd(FLETCH_ENABLE_LIVE_CODING) |
| OLD | NEW |