Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: CakeML/regression
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: CakeML/regression
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: scgi
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 9 commits
  • 13 files changed
  • 1 contributor

Commits on Jul 28, 2018

  1. Configuration menu
    Copy the full SHA
    9747366 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2018

  1. Make server into an SCGI application

    This is an experiment. It currently handles only one request at a time,
    which is a step backwards compared to CGI (which would start a new
    process for each request): if this works, it should be modified to spawn
    a thread/process for each request.
    
    The hope is that this approach will allow long-running concurrent
    processing (e.g., refresh()) to happen while still serving the request
    quickly. (Errors during refresh would need to be logged elsewhere,
    though, i.e., not via cgi_die.)
    xrchz committed Aug 2, 2018
    Configuration menu
    Copy the full SHA
    2d2b826 View commit details
    Browse the repository at this point in the history
  2. Fix some bugs in scgi

    xrchz committed Aug 2, 2018
    Configuration menu
    Copy the full SHA
    f6a24d8 View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2018

  1. Process requests concurrently

    xrchz committed Aug 3, 2018
    Configuration menu
    Copy the full SHA
    77870c3 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    231a8b3 View commit details
    Browse the repository at this point in the history
  3. Update gitignore

    xrchz committed Aug 3, 2018
    Configuration menu
    Copy the full SHA
    e7b6abb View commit details
    Browse the repository at this point in the history
  4. Switch to using Poly/ML threads

    instead of Posix processes.
    
    Simplifies things a lot, since we don't have to "wait" for a process in
    order for it to be cleaned up.
    
    Also means the external lock file is unnecessary (but the flock tool
    becomes impossible).
    xrchz committed Aug 3, 2018
    Configuration menu
    Copy the full SHA
    ef8e376 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2018

  1. Configuration menu
    Copy the full SHA
    49eb704 View commit details
    Browse the repository at this point in the history
  2. Update README

    xrchz committed Aug 4, 2018
    Configuration menu
    Copy the full SHA
    290c98d View commit details
    Browse the repository at this point in the history
Loading