Ensure we do use a different port than other tests.

Motivated by S415-009.

Author: TurboGit

regtests/0282_doc_wsdl_a/test.py

@@ -2,8 +2,8 @@
 import sys
 
 exec_cmd('ada2wsdl',
-         ['-q', '-f', '-I.', '-doc', '-lit', '-Pwsdl_a_main',
-          '-a', 'http://localhost:7701', 'wsdl_a.ads', '-o', 'wsdl_a.wsdl'])
+         ['-q', '-f', '-doc', '-lit', '-Pwsdl_a_main',
+          '-a', 'http://localhost:7713', 'wsdl_a.ads', '-o', 'wsdl_a.wsdl'])
 exec_cmd('wsdl2aws',
          ['-q', '-f', '-cb', '-types', 'wsdl_a', 'wsdl_a.wsdl'])
 

regtests/0282_doc_wsdl_a/wsdl_a_main.adb

@@ -1,7 +1,7 @@
 ------------------------------------------------------------------------------
 --                              Ada Web Server                              --
 --                                                                          --
---                     Copyright (C) 2016-2018, AdaCore                     --
+--                     Copyright (C) 2016-2020, AdaCore                     --
 --                                                                          --
 --  This is free software;  you can redistribute it  and/or modify it       --
 --  under terms of the  GNU General Public License as published  by the     --
@@ -25,6 +25,7 @@ with SOAP.Dispatchers.Callback;
 
 with WSDL_a_Server;
 with WSDL_a_Service.Client;
+with WSDL_a_Service.Server;
 with WSDL_a_Service.Types;
 
 procedure WSDL_a_Main is
@@ -47,7 +48,7 @@ begin
       Schema => WSDL_a_Service.Schema);
 
    Config.Set.Server_Host (Conf, "localhost");
-   Config.Set.Server_Port (Conf, 7701);
+   Config.Set.Server_Port (Conf, WSDL_a_Service.Server.Port);
 
    Server.Start (WS, H, Conf);