diff options
| author | Fahim | 2015-08-14 17:43:46 +0530 |
|---|---|---|
| committer | Fahim | 2015-08-14 17:43:46 +0530 |
| commit | ddb01dcab87a6179d20d7de76550a61c5f7db7d8 (patch) | |
| tree | 3daa0da40759f937855b413c836edc4b1917aed6 /src/ghdlserver/ghdlserver.c | |
| parent | 31834c1879c87d40a92e9023586e6a6b9a699bf6 (diff) | |
| parent | 5701df61772ab92c53b07cf7a6add1138b40bcf1 (diff) | |
| download | nghdl-ddb01dcab87a6179d20d7de76550a61c5f7db7d8.tar.gz nghdl-ddb01dcab87a6179d20d7de76550a61c5f7db7d8.tar.bz2 nghdl-ddb01dcab87a6179d20d7de76550a61c5f7db7d8.zip | |
Merge pull request #11 from ambikeshwar1991/master
Changes for flexible client server port no.
Diffstat (limited to 'src/ghdlserver/ghdlserver.c')
| -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); |