From 786cfd6a73b1cabe8b02b1e0e97f255550d30c6a Mon Sep 17 00:00:00 2001
From: Anne Philipp <anne.philipp@univie.ac.at>
Date: Tue, 27 Nov 2018 22:43:20 +0100
Subject: [PATCH] corrected type of ppid to str
---
source/python/mods/tools.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/source/python/mods/tools.py b/source/python/mods/tools.py
index b1e5c60..070763b 100644
--- a/source/python/mods/tools.py
+++ b/source/python/mods/tools.py
@@ -180,7 +180,7 @@ def get_cmdline_arguments():
# this is only used by prepare_flexpart.py to rerun a postprocessing step
parser.add_argument("--ppid", dest="ppid",
- type=none_or_int, default=None,
+ type=none_or_str, default=None,
help="specify parent process id for \
rerun of prepare_flexpart")
--
GitLab