Improve parsing of job IDs

monitoring/db/scripts/get_detailed_power.py

@@ -25,7 +25,8 @@ def parse_jobid(s):
 	import re
 	hawkpbs = r'.hawk-pbs5'
 	jobid = re.sub(hawkpbs, '', s)
-	if not jobid.isdigit():
+	not_allowed = r'[^0-9\[\]]' # Jobid can be more complex than just digits, eg 2444420[201]
+	if re.search(not_allowed, jobid): 
 		raise argparse.ArgumentTypeError(f'invalid job ID "{s}"')
 	return jobid