Alberto Ricart
c35607cd95
[ADD] internal option to write a ports file --ports_file_dir
...
The added option writes a file in the specified directory called <exename>_<pid>.ports which
contains a JSON representation of ports that the gnatsd has opened.
This change is intended to facilitate testing by having ports be specified with a -1, so
they are auto assigned and allow tests to locate and connect to the launched gnatsd(s).
2018-06-22 16:15:39 -05:00
..
2018-06-19 16:42:39 -07:00
2018-03-29 11:48:09 -04:00
2018-03-15 22:31:07 -07:00
2018-06-21 17:04:10 -06:00
2018-06-21 18:46:25 -07:00
2018-06-04 17:45:05 -07:00
2018-06-21 21:13:02 -06:00
2018-06-11 15:11:03 -07:00
2018-03-15 22:31:07 -07:00
2018-03-15 22:31:07 -07:00
2018-03-15 22:31:07 -07:00
2018-03-16 16:23:10 -07:00
2018-06-21 15:23:15 -07:00
2018-06-21 17:37:40 -07:00
2018-06-04 17:45:05 -07:00
2018-06-22 16:15:39 -05:00
2018-06-20 20:18:59 -07:00
2018-06-20 22:41:05 -07:00
2018-03-15 22:31:07 -07:00
2018-06-21 15:23:15 -07:00
2018-06-22 16:15:39 -05:00
2018-06-21 21:13:02 -06:00
2018-06-11 15:11:03 -07:00
2018-06-19 22:32:50 -07:00
2018-06-22 16:15:39 -05:00
2018-03-15 22:31:07 -07:00
2018-03-15 22:31:07 -07:00
2018-03-15 22:31:07 -07:00
2018-04-06 17:24:41 -06:00
2018-03-15 22:31:07 -07:00
2018-04-06 17:14:02 -06:00
2018-03-23 13:40:10 -06:00
2018-06-04 17:45:05 -07:00
2018-06-04 17:45:05 -07:00
2018-03-15 22:31:07 -07:00
2018-03-15 22:31:07 -07:00