Add docstrings.

diff --git a/coverity-submit b/coverity-submit
index 0ae94beb56950235268c4a522f62cfc9c27f0088..4a33e7e7e48ee407f28713e52e3b5f3965dc3814 100755 (executable)
--- a/coverity-submit
+++ b/coverity-submit
@@ -24,6 +24,7 @@ def commit_id():
     return None
 
 def deduce_name():
+    "Deduce user's full name."
     if 'USERNAME' in os.environ: 
         p=pwd.getpwnam(os.environ['USERNAME'])
     elif 'LOGNAME' in os.environ:
@@ -33,6 +34,7 @@ def deduce_name():
     return p.pw_gecos.split(',')[0]
 
 def deduce_userid():
+    "Deduce user's (local) username."
     if 'USERNAME' in os.environ: 
         p=pwd.getpwnam(os.environ['USERNAME'])
     elif 'LOGNAME' in os.environ: