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

pushkey: do not exchange obsole markers if feature is disabled...

pushkey: do not exchange obsole markers if feature is disabled This apply to both push and pull both when client or server.

Nicolas Dumazet - - Load All Authors

File last commit:

r10905:13a1b2fb default


                r17298:59c14bf5

stable

Download file

             killdaemons.py
        
                    25 lines
            
             | 603 B
            
                | text/x-python
            
             |
                PythonLexer
            
             / tests / killdaemons.py
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      #!/usr/bin/env python

      import os, time, errno, signal

      # Kill off any leftover daemon processes

      try:

          fp = open(os.environ['DAEMON_PIDS'])

          for line in fp:

              try:

                  pid = int(line)

              except ValueError:

                  continue

              try:

                  os.kill(pid, 0)

                  os.kill(pid, signal.SIGTERM)

                  for i in range(10):

                      time.sleep(0.05)

                      os.kill(pid, 0)

                  os.kill(pid, signal.SIGKILL)

              except OSError, err:

                  if err.errno != errno.ESRCH:

                      raise

          fp.close()

      except IOError:

          pass

	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, time, errno, signal

				# Kill off any leftover daemon processes
				try:
				fp = open(os.environ['DAEMON_PIDS'])
				for line in fp:
				try:
				pid = int(line)
				except ValueError:
				continue
				try:
				os.kill(pid, 0)
				os.kill(pid, signal.SIGTERM)
				for i in range(10):
				time.sleep(0.05)
				os.kill(pid, 0)
				os.kill(pid, signal.SIGKILL)
				except OSError, err:
				if err.errno != errno.ESRCH:
				raise
				fp.close()
				except IOError:
				pass