upstream/ipython Files · tools/make_tarball.py

close websocket connections on ping/pong timeout...

close websocket connections on ping/pong timeout we recently added ws pings for keep alive, and we can now use the longs to close dead connections. This can apparently happen when connections are not closed cleanly, e.g. on VPNs. Setting ws_ping_timeout = 0 disables the ping mechanism altogether.

Spencer Nelson - - Load All Authors

File last commit:

r16525:a15a6bb0


                r17635:37c057ce

Download file

             make_tarball.py
        
                    23 lines
            
             | 728 B
            
                | text/x-python
            
             |
                PythonLexer
            
             / tools / make_tarball.py
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      #!/usr/bin/env python

      """Simple script to create a tarball with proper git info.

      """

      import commands

      import os

      from toollib import cd, sh

      tag = commands.getoutput('git describe --tags')

      base_name = 'ipython-%s' % tag

      tar_name = '%s.tgz' % base_name

      # git archive is weird:  Even if I give it a specific path, it still won't

      # archive the whole tree.  It seems the only way to get the whole tree is to cd

      # to the top of the tree.  There are long threads (since 2007) on the git list

      # about this and it still doesn't work in a sensible way...

      start_dir = os.getcwdu()

      cd('..')

      git_tpl = 'git archive --format=tar --prefix={0}/ HEAD | gzip > {1}'

      sh(git_tpl.format(base_name, tar_name))

      sh('mv {0} tools/'.format(tar_name))

	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
				"""Simple script to create a tarball with proper git info.
				"""

				import commands
				import os

				from toollib import cd, sh

				tag = commands.getoutput('git describe --tags')
				base_name = 'ipython-%s' % tag
				tar_name = '%s.tgz' % base_name

				# git archive is weird: Even if I give it a specific path, it still won't
				# archive the whole tree. It seems the only way to get the whole tree is to cd
				# to the top of the tree. There are long threads (since 2007) on the git list
				# about this and it still doesn't work in a sensible way...

				start_dir = os.getcwdu()
				cd('..')
				git_tpl = 'git archive --format=tar --prefix={0}/ HEAD \| gzip > {1}'
				sh(git_tpl.format(base_name, tar_name))
				sh('mv {0} tools/'.format(tar_name))