Convert RFM_SQLITE_CONN_TIMEOUT to float

vkarak · vkarak · commit 92a9d65bf461 · 2025-07-24T15:12:33.000+03:00
diff --git a/reframe/frontend/cli.py b/reframe/frontend/cli.py
@@ -796,6 +796,7 @@ def main():
         dest='sqlite_conn_timeout',
         envvar='RFM_SQLITE_CONN_TIMEOUT',
         configvar='storage/sqlite_conn_timeout',
+        type=float,
         help='Timeout for DB connections (SQLite backend)'
     )
     argparser.add_argument(

Original file line number	Diff line number	Diff line change
`@@ -796,6 +796,7 @@ def main():`
`796`	`796`	`dest='sqlite_conn_timeout',`
`797`	`797`	`envvar='RFM_SQLITE_CONN_TIMEOUT',`
`798`	`798`	`configvar='storage/sqlite_conn_timeout',`
	`799`	`+ type=float,`
`799`	`800`	`help='Timeout for DB connections (SQLite backend)'`
`800`	`801`	`)`
`801`	`802`	`argparser.add_argument(`