diff options
Diffstat (limited to 'src/ghdlserver')
-rw-r--r-- | src/ghdlserver/ghdlserver.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/ghdlserver/ghdlserver.c b/src/ghdlserver/ghdlserver.c index 68c9941..603f925 100644 --- a/src/ghdlserver/ghdlserver.c +++ b/src/ghdlserver/ghdlserver.c @@ -369,9 +369,9 @@ void set_non_blocking(int sock_id) } -void Vhpi_Initialize() +void Vhpi_Initialize(int sock_port) { - + DEFAULT_SERVER_PORT = sock_port; /*Taking time info for log*/ time_t systime; systime = time(NULL); |