upstream/mercurial-mirror Files · tests/killdaemons.py

hgweb, spartan: add "URL breadcrumbs"...

hgweb, spartan: add "URL breadcrumbs" This change adds a "URL breadcrumb" to the "title" of the pages on the spartan template. By title I mean the first line that is shown right below the page selection row, which shows the name of the page that is being viewed, along with some additional information. In doing so it standarizes those "titles" which now follow the pattern: URL breadcumb / page details

Patrick Mezard - - Load All Authors

File last commit:

r17466:d5a3bda6 default


                r18259:7bf412b7

default

Download file

             killdaemons.py
        
                    54 lines
            
             | 1.5 KiB
            
                | text/x-python
            
             |
                PythonLexer
            
             / tests / killdaemons.py
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      #!/usr/bin/env python

      import os, sys, time, errno, signal

      if os.name =='nt':

          import ctypes

          def kill(pid, logfn, tryhard=True):

              logfn('# Killing daemon process %d' % pid)

              PROCESS_TERMINATE = 1

              handle = ctypes.windll.kernel32.OpenProcess(

                      PROCESS_TERMINATE, False, pid)

              ctypes.windll.kernel32.TerminateProcess(handle, -1)

              ctypes.windll.kernel32.CloseHandle(handle)

      else:

          def kill(pid, logfn, tryhard=True):

              try:

                  os.kill(pid, 0)

                  logfn('# Killing daemon process %d' % pid)

                  os.kill(pid, signal.SIGTERM)

                  if tryhard:

                      for i in range(10):

                          time.sleep(0.05)

                          os.kill(pid, 0)

                  else:

                      time.sleep(0.1)

                      os.kill(pid, 0)

                  logfn('# Daemon process %d is stuck - really killing it' % pid)

                  os.kill(pid, signal.SIGKILL)

              except OSError, err:

                  if err.errno != errno.ESRCH:

                      raise

      def killdaemons(pidfile, tryhard=True, remove=False, logfn=None):

          if not logfn:

              logfn = lambda s: s

          # Kill off any leftover daemon processes

          try:

              fp = open(pidfile)

              for line in fp:

                  try:

                      pid = int(line)

                  except ValueError:

                      continue

                  kill(pid, logfn, tryhard)

              fp.close()

              if remove:

                  os.unlink(pidfile)

          except IOError:

              pass

      if __name__ == '__main__':

          path, = sys.argv[1:]

          killdaemons(path)

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

				#!/usr/bin/env python

				import os, sys, time, errno, signal

				if os.name =='nt':
				import ctypes
				def kill(pid, logfn, tryhard=True):
				logfn('# Killing daemon process %d' % pid)
				PROCESS_TERMINATE = 1
				handle = ctypes.windll.kernel32.OpenProcess(
				PROCESS_TERMINATE, False, pid)
				ctypes.windll.kernel32.TerminateProcess(handle, -1)
				ctypes.windll.kernel32.CloseHandle(handle)
				else:
				def kill(pid, logfn, tryhard=True):
				try:
				os.kill(pid, 0)
				logfn('# Killing daemon process %d' % pid)
				os.kill(pid, signal.SIGTERM)
				if tryhard:
				for i in range(10):
				time.sleep(0.05)
				os.kill(pid, 0)
				else:
				time.sleep(0.1)
				os.kill(pid, 0)
				logfn('# Daemon process %d is stuck - really killing it' % pid)
				os.kill(pid, signal.SIGKILL)
				except OSError, err:
				if err.errno != errno.ESRCH:
				raise

				def killdaemons(pidfile, tryhard=True, remove=False, logfn=None):
				if not logfn:
				logfn = lambda s: s
				# Kill off any leftover daemon processes
				try:
				fp = open(pidfile)
				for line in fp:
				try:
				pid = int(line)
				except ValueError:
				continue
				kill(pid, logfn, tryhard)
				fp.close()
				if remove:
				os.unlink(pidfile)
				except IOError:
				pass

				if __name__ == '__main__':
				path, = sys.argv[1:]
				killdaemons(path)