https://github.com/wnavarre/uw-process

Fork of http://gitorious.org/some-urweb-utility-libraries/uw-process
https://github.com/wnavarre/uw-process

Last synced: 3 months ago
JSON representation

Fork of http://gitorious.org/some-urweb-utility-libraries/uw-process

• Host: GitHub
• URL: https://github.com/wnavarre/uw-process
• Owner: wnavarre
• Created: 2017-02-09T04:05:35.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-02-09T04:06:33.000Z (over 7 years ago)
• Last Synced: 2024-06-19T23:16:18.320Z (5 months ago)
• Language: C
• Size: 4.88 KB
• Stars: 0
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README

Awesome Lists containing this project

• awesome-urweb - uw-process - This library let's you run arbitrary command lines. (Processes and Threads)

README

        
Let me quote Adam Chlipala:

> Just to repeat what I said the last time someone brought this up: it is 

> impossible to support this in Ur/Web in the most general way, without 

> allowing for the possibility of some crazy behavior.  The runtime system 

> feels free to restart program execution at any time, which wouldn't work 

> well with effectful commands that can't be undone.