We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3a510bc commit 02a0b80Copy full SHA for 02a0b80
src/DIRAC/RequestManagementSystem/scripts/dirac_rms_request.py
@@ -206,8 +206,14 @@ def main():
206
for reqID in requests:
207
# We allow reqID to be the requestName if it is unique
208
try:
209
+ # PEP-515 allows for underscore in numerical literals
210
+ # So a request name 00123_00456
211
+ # is interpreted as a requestID 12300456
212
+ if not reqID.isdigit():
213
+ raise ValueError()
214
+
215
requestID = int(reqID)
- except ValueError:
216
+ except (ValueError, TypeError):
217
requestID = reqClient.getRequestIDForName(reqID)
218
if not requestID["OK"]:
219
gLogger.notice(requestID["Message"])
0 commit comments