#include "core.h"
#include "pub_core_libcassert.h" // For VG_BUGS_TO
-#include "pub_core_options.h" // For VG_CLO_DEFAULT_LOGPORT
+#include "pub_core_libcfile.h" // For VG_CLO_DEFAULT_LOGPORT
/*---------------------------------------------------------------*/
extern Int VG_(safe_fd) ( Int oldfd );
extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
+/* Default destination port to be used in logging over a network, if
+ none specified. */
+#define VG_CLO_DEFAULT_LOGPORT 1500
+
extern Int VG_(write_socket)( Int sd, void *msg, Int count );
extern Int VG_(connect_via_socket)( UChar* str );
extern Int VG_(getsockname) ( Int sd, struct vki_sockaddr *name, Int *namelen );
#include "pub_tool_options.h"
-/* Default destination port to be used in logging over a network, if
- none specified. */
-#define VG_CLO_DEFAULT_LOGPORT 1500
-
/* The max number of suppression files. */
#define VG_CLO_MAX_SFILES 10