mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

terminateProcessId renamed

Browse source 
win32 upstream suggested a better name
This commit is contained in:
Joey Hess 2017-10-25 19:46:28 -04:00
parent 0ae2ac282e
commit 584dbfb892
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
3 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Utility/Daemon.hs
View file

@ -14,7 +14,7 @@ import Utility.PID
#ifndef mingw32_HOST_OS
import Utility.LogFile
#else
import System.Win32.Process (terminateProcessId)
import System.Win32.Process (terminateProcessById)
import Utility.LockFile
#endif
@ -162,7 +162,7 @@ stopDaemon pidfile = go =<< checkDaemon pidfile
#ifndef mingw32_HOST_OS
signalProcess sigTERM pid
#else
terminateProcessId pid
terminateProcessById pid
#endif
{- Windows locks a lock file that corresponds with the pid of the process.