Ticket #3560: sage-3560-part3.patch

File sage-3560-part3.patch, 739 bytes (added by was, 14 years ago)
  • sage/server/simple/twist.py

    # HG changeset patch
    # User William Stein <wstein@gmail.com>
    # Date 1215335258 25200
    # Node ID 032b070bdf52156c7ddcb48b056188b8ec31fd7f
    # Parent  991f76a15ef37f447d70ddfba619e3c250bb6bfb
    #3560 -- add a short sleep to avoid timing problem
    
    diff -r 991f76a15ef3 -r 032b070bdf52 sage/server/simple/twist.py
    a b Login to a new session: 
    3333    sage: session = re.match(r'.*"session": "([^"]*)"', login_page, re.DOTALL).groups()[0]
    3434
    3535Run a command:
     36    sage: sleep(0.5)
    3637    sage: print get_url('http://localhost:%s/simple/compute?session=%s&code=2*2' % (port, session))
    3738    {
    3839    "status": "done",