https://github.com/sergei-mironov/urweb-callback

urweb: run serve-side processes asynchronously
https://github.com/sergei-mironov/urweb-callback

Last synced: about 15 hours ago
JSON representation

urweb: run serve-side processes asynchronously

• Host: GitHub
• URL: https://github.com/sergei-mironov/urweb-callback
• Owner: sergei-mironov
• Created: 2013-12-16T11:00:46.000Z (almost 11 years ago)
• Default Branch: master
• Last Pushed: 2017-03-23T18:20:21.000Z (over 7 years ago)
• Last Synced: 2024-08-22T22:31:29.730Z (3 months ago)
• Language: C++
• Homepage:
• Size: 191 KB
• Stars: 4
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• awesome-urweb - urweb-callback - Run serve-side processes asynchronously (Queues and Messaging)

README

        
Urweb-callback

--------------

Urweb-callback is a library for managing asynchronous processes directly from

an [Ur/Web](http://www.impredicative.com/ur/) application.

The current version is 4.0. Comparing to previous version, many simplifications

were made. The main difference is that urweb-callback doesn't declare jobs

table. The table should be declared on the application side and passed to

urweb-callback using ML Functor interface.  This scheme allows applications to

control the resources more accurately.

Installation

------------

The Project requires [Nix](www.nixos.org/nix) package manager to be installed and

[urweb-build](http://github.com/grwlf/urweb-build) expression available

via NIX\_PATH variable.

    $ git clone https://github.com/grwlf/urweb-callback

    $ cd urweb-callback

    $ nix-build -A callback

Compiling the Demo

------------------

    $ nix-build -A callback-demo

    $ ./result/mkdb.sh

    $ ./result/CallbackDemo.exe

    $ browser http://127.0.0.1:8080/Callback1/main

Regards,

Sergey Mironov

[email protected]