Clone of official tools

Revision:
22:9e85236d8716
Parent:
0:66f3b5499f7f
--- a/test_webapi.py	Fri Jul 15 22:58:15 2016 +0100
+++ b/test_webapi.py	Sat Jul 16 00:34:03 2016 +0100
@@ -106,15 +106,16 @@
     parser = get_default_test_options_parser()
 
     # Things related to web services offered by test suite scripts
-    parser.add_option('', '--rest-api',
-                      dest='rest_api_enabled',
-                      default=False,
-                      action="store_true",
-                      help='Enables REST API.')
+    parser.add_argument('', '--rest-api',
+                        dest='rest_api_enabled',
+                        default=False,
+                        action="store_true",
+                        help='Enables REST API.')
 
-    parser.add_option('', '--rest-api-port',
-                      dest='rest_api_port_no',
-                      help='Sets port for REST API interface')
+    parser.add_argument('', '--rest-api-port',
+                        dest='rest_api_port_no',
+                        type=int,
+                        help='Sets port for REST API interface')
 
     return parser