1 files changed, 1 insertions, 1 deletions

diff --git a/git_config.py b/git_config.py
index 70b22ce1..aac08855 100644
--- a/git_config.py
+++ b/git_config.py
@@ -503,7 +503,7 @@ def close_ssh():
   d = ssh_sock(create=False)
   if d:
     try:
-      os.rmdir(os.path.dirname(d))
+      platform_utils.rmdir(os.path.dirname(d))
     except OSError:
       pass