ixv
b383037a8f
Merge pull request #2830 from urbit/king-https-fix
...
Get HTTPS working in King Haskell.
2020-04-30 13:08:13 -07:00
Benjamin Summers
f66405615f
king: Split cert from urbit into cert+chain before giving to warp (HTTP Server library).
2020-04-30 12:13:14 -07:00
Benjamin Summers
75f60504ee
king: In http-server/set-config effect, key+cert is Wain, not Cord.
2020-04-30 11:18:23 -07:00
Benjamin Summers
ecf4545d84
king: don't parse crud events, just treat them as nouns.
2020-04-28 11:40:43 -07:00
Elliot Glaysher
81fb798bfb
king: handle IOError from recvFrom in ames.
...
This is an attempt to fix the ames driver so that it reestablishes
a socket after a socket error. This should theoretically fix the
"ames dcoesn't work after computer sleeps" issue, so that when the
os closses a socket, we detect this in waitPacket and attempt to
reestablish the socket.
Closes #2190
2020-04-08 13:33:33 -07:00
Elliot Glaysher
238f6db097
king: increment version for new pill
2020-04-08 13:33:16 -07:00
Benjamin Summers
5bf82f46c2
urbit-atom: Cleanup
2020-03-18 12:38:48 -07:00
Benjamin Summers
33ef966afc
urbit-atom: Remove testing executable.
2020-03-18 11:13:52 -07:00
Benjamin Summers
cbc44643c7
urbit-atom: More TODO
2020-03-18 11:12:57 -07:00
Benjamin Summers
8b2d0928e6
urbit-atom: Use faster atom -> bytes routine where possible.
2020-03-18 11:12:57 -07:00
Benjamin Summers
3660d07b3e
urbit-atom: don't run reference impl. on big benchmarks.
2020-03-18 11:12:57 -07:00
Benjamin Summers
340cc6f0aa
urbit-atom: TODO.md
2020-03-18 11:12:53 -07:00
Benjamin Summers
da27ed54fa
urbit-atom: Benchmarks: GMP's import is faster than mine, but my export is much faster.
2020-03-18 11:12:49 -07:00
Benjamin Summers
0b68ab8a01
urbit-atom: Use GMPs import/export feature.
2020-03-13 10:04:38 -07:00
Benjamin Summers
029262333b
urbit-atom: unpin package verisons
2020-03-12 13:09:18 -07:00
Benjamin Summers
51656f915b
urbit-atom: Fallback to slow implementation in GHCJS for now.
2020-03-12 13:09:14 -07:00
Benjamin Summers
14cba45597
urbit-atom: Back out of vendoring integer-simple.
2020-03-12 13:09:10 -07:00
Benjamin Summers
7e79c6d200
urbit-atom: [WIP] remove negative numbers from integer-simple.
2020-03-12 10:58:29 -07:00
Benjamin Summers
2d1a6883e8
urbit-atom: s/Integer/Atom/ in integer-simple code.
2020-03-12 10:49:35 -07:00
Benjamin Summers
01d1a0f7e9
urbit-atom: Moved urbit-integer-simple into urbit-atom package.
2020-03-12 10:45:01 -07:00
Benjamin Summers
cd656b389f
urbit-atom: Vendor integer-simple.
2020-03-12 10:19:14 -07:00
Benjamin Summers
0abf80cc8e
urbit-atom: Don't use tasty for tests to avoid clock dependency.
2020-03-12 09:59:50 -07:00
Benjamin Summers
b659f48c3e
urbit-atom: No classy-prelude dependency.
2020-03-11 19:41:07 -07:00
Benjamin Summers
2a7058ffd8
urbit-atom: don't use unboxed tuples (breaks ghci)
2020-03-11 19:24:18 -07:00
Benjamin Summers
3c568c8e4c
urbit-atom: Wrote tests and fixed an edge-case.
2020-03-11 19:19:38 -07:00
Benjamin Summers
ccdc40a467
Merge branch 'bs/portable-urbit-atom' of github.com:urbit/urbit into bs/portable-urbit-atom
2020-03-11 14:11:43 -07:00
Benjamin Summers
de3de09fca
urbit-atom: Reference impl. for atom/bytes and atom/words conversion.
2020-03-11 14:11:12 -07:00
Benjamin Summers
8f25a50232
Pulled some urbit-atom test from the bowels of git history. Not working yet.
2020-03-06 23:19:19 -08:00
Benjamin Summers
28ae8bbaf2
urbit-atom: Debugging hacks to test in GHCJS.
2020-03-06 18:12:53 -08:00
Benjamin Summers
f7356fe1ed
urbit-atom: Support 32 bit CPUs
2020-03-06 14:31:12 -08:00
Benjamin Summers
70bda9f9d3
urbit-atom: autofmt urbit-atom.
2020-03-06 14:31:06 -08:00
Benjamin Summers
2bc8506a74
urbit-atom: Got Atom.Internal to build with GHCJS.
2020-03-06 14:31:00 -08:00
Benjamin Summers
237774adc5
king: Slight CLI cleanup and fix test build.
...
Forgot to add `hidden` to http options. Without this, they show up on
the summary line in `king run --help`.
2020-03-04 19:18:00 -08:00
Benjamin Summers
2dc97293cc
king: Add command-line flags to configure HTTP and HTTPS ports.
2020-03-04 19:13:21 -08:00
Benjamin Summers
957c0da9bb
king: Terminal input line wasn't being shown b/c line buffering.
2020-02-20 14:41:07 +04:00
Benjamin Summers
e1f6db7250
king: Remove TERMINFO_DIRS hack.
2020-02-20 14:41:07 +04:00
Benjamin Summers
9d2d6c42c6
king: First stab at removing terminfo dependency.
2020-02-20 14:41:07 +04:00
Benjamin Summers
a318462836
king: New dependency: ansi-terminal
2020-02-20 14:41:06 +04:00
Benjamin Summers
3b1bd6600a
king: Factored all terminal rendering logic into its own module.
2020-02-20 14:41:03 +04:00
Benjamin Summers
4be4551f18
king: Use newer static-haskell-nix script for KH build.
2020-02-14 07:13:55 -08:00
Benjamin Summers
3b42c5412f
Fix counting bug in event log replay.
2020-02-05 15:20:32 -08:00
Isaac Visintainer
98fa24908a
fix progress bar in daemon mode
2020-02-03 17:27:16 -08:00
Isaac Visintainer
e25d30163d
Merge branch 'king-haskell' of https://github.com/urbit/urbit into king-auto-connect
2020-02-03 14:23:44 -08:00
benjamin-tlon
84ddf79264
Merge pull request #2163 from urbit/philip/king-replay
...
king: add partial-replay and --dry-from
2020-01-28 00:35:53 -08:00
Benjamin Summers
d411c914a4
Got Linux release builds working again.
2020-01-25 14:39:42 -08:00
Benjamin Summers
05e64cfdf0
Merge branch 'king-haskell' of https://github.com/urbit/urbit into philip/king-replay
2020-01-25 14:18:33 -08:00
Philip Monk
18a279aeaf
king: style improvements
2020-01-24 16:25:49 -08:00
Benjamin Summers
c40a02b044
king: Build without warnings.
2020-01-23 22:23:43 -08:00
Benjamin Summers
2df59aa4ff
Fix king-haskell Linux release build.
2020-01-23 22:09:23 -08:00
Benjamin Summers
dd29419f41
Merge branch 'king-haskell' into philip/king-replay
2020-01-23 21:47:06 -08:00
