mercurial/util.py
changeset 28027 14033c5dd261
parent 27785 ba427b51f1d8
child 28496 b592564a803c
--- a/mercurial/util.py	Mon Feb 08 00:47:36 2016 +0000
+++ b/mercurial/util.py	Wed Feb 03 09:11:22 2016 +0000
@@ -65,6 +65,7 @@
 findexe = platform.findexe
 gethgcmd = platform.gethgcmd
 getuser = platform.getuser
+getpid = os.getpid
 groupmembers = platform.groupmembers
 groupname = platform.groupname
 hidewindow = platform.hidewindow