syndicate-lang
/
racket-ssh-2012
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Commit Graph

  • 11e0f87fbe Remove cruft moved-to-github cleanup-for-github Tony Garnock-Jones 2013-05-10 16:56:55 -0400
  • 253ce502a2 .gitignore marketplace Tony Garnock-Jones 2013-05-10 16:57:01 -0400
  • 3c0603878f Avoid doubly-nested transition record pre-cleanup-for-github Tony Garnock-Jones 2013-04-11 17:36:39 -0400
  • 9033cd307c First steps to marketplace port Tony Garnock-Jones 2013-04-11 15:28:07 -0400
  • f988d5a864 Simple makefile main Tony Garnock-Jones 2013-04-09 13:39:25 -0400
  • e4f13155a4 Update for new bitsyntax extension API Tony Garnock-Jones 2013-04-09 13:39:16 -0400
  • b946c4678c Rename fake-tcp's tcp-accept to topic->tcp-connection pre-typed-kernel typed-kernel Tony Garnock-Jones 2012-08-15 15:56:11 -0400
  • 435951dd23 Rename kill to quit Tony Garnock-Jones 2012-08-13 16:50:19 -0400
  • ff2cd74339 Make handlers etc *required* to return a transition structure. Tony Garnock-Jones 2012-07-23 17:21:47 -0400
  • e94acab878 Make role names optional, and remove role/anon. Remove inessential role names from apps. Make nested-vm a macro. Tony Garnock-Jones 2012-07-23 15:23:17 -0400
  • 4bad2698bb Cosmetic. Tony Garnock-Jones 2012-07-18 11:34:21 -0400
  • 7636862e31 Switch to fake-tcp Tony Garnock-Jones 2012-07-18 11:31:15 -0400
  • e4e69844b3 Thread username through. Tony Garnock-Jones 2012-07-09 17:01:28 -0400
  • 908c3f929d Sandbox code from old os1 server; eval server. Tony Garnock-Jones 2012-07-09 16:54:27 -0400
  • 59d783a897 Incorporate port-cooker and change to being a sexp relay Tony Garnock-Jones 2012-07-09 16:24:51 -0400
  • 9a87abc574 Require event-relay Tony Garnock-Jones 2012-07-09 16:24:01 -0400
  • 9f1bd80009 debug-name prefab structure. Tony Garnock-Jones 2012-07-04 17:51:53 -0400
  • f2046db35d Replace one instance of yield with a use of wait-for. Tony Garnock-Jones 2012-07-04 17:39:35 -0400
  • 3fe3bee397 Cosmetic Tony Garnock-Jones 2012-07-04 17:22:25 -0400
  • a0c60fd8db Support three levels of interest-type for a topic: participant/ordinary, monitor/observer, and "super-monitor". Tony Garnock-Jones 2012-07-04 17:15:11 -0400
  • 28cc220010 Rename #:monitor? to #:exit-signal? in spawn's arguments. Tony Garnock-Jones 2012-07-04 16:54:57 -0400
  • a44b7ba3e2 I've decided to rename "virtual" flows to "monitor" flows. Tony Garnock-Jones 2012-07-04 16:36:30 -0400
  • ab5b1850d0 Dumbest possible echo server. Tony Garnock-Jones 2012-07-03 15:50:39 -0400
  • 7838272680 Use send-feedback Tony Garnock-Jones 2012-07-03 15:50:24 -0400
  • f59bec0145 Use sequence-actions. Tony Garnock-Jones 2012-07-03 13:13:40 -0400
  • f57b68603a Note re yield. Tony Garnock-Jones 2012-07-03 11:10:52 -0400
  • 4c15331a07 Prepare for contracting of process state. Tony Garnock-Jones 2012-06-23 07:56:00 -0400
  • e6c867ab7f Cope with merge of spawn/monitor into spawn. Tony Garnock-Jones 2012-06-23 07:55:47 -0400
  • 9501a73fc5 Improvements from codewalk with Sam and Matthias Tony Garnock-Jones 2012-06-22 13:14:02 -0400
  • 1058f0e96f Start of channel-listener in application Tony Garnock-Jones 2012-06-20 18:35:30 -0400
  • 9e7fc9bbbd Channel demux and management from the SSH side. Tony Garnock-Jones 2012-06-19 17:28:24 -0400
  • f0a98bb1f9 Use monitors; tidy up debug output a little Tony Garnock-Jones 2012-06-19 11:38:33 -0400
  • f69527bb14 Initial sketch of channel stream messages. Tony Garnock-Jones 2012-06-14 11:59:14 -0400
  • 03560599a1 Nested VM for application processes Tony Garnock-Jones 2012-06-14 11:58:45 -0400
  • f857cfdbf9 Start splitting out channel-related code Tony Garnock-Jones 2012-06-14 11:24:50 -0400
  • fd08fb0b74 Arm rekey timer. Tony Garnock-Jones 2012-06-12 12:13:40 -0400
  • 78a0721051 OS2-ized SSH up to channel management Tony Garnock-Jones 2012-06-11 16:11:22 -0400
  • 72acd94def Extract identification string before switching to packet mode Tony Garnock-Jones 2012-06-11 12:33:32 -0400
  • e2e59bdf6c Pack decoded messages for the benefit of unify.rkt. Tony Garnock-Jones 2012-06-11 12:24:57 -0400
  • 0fb207acc6 Merge branch 'master' into os2 Tony Garnock-Jones 2012-05-15 14:50:00 -0400
  • 2c2f12f284 Comments from Oct 27 2011 (!) pre-os2 Tony Garnock-Jones 2012-05-15 14:49:53 -0400
  • 3f2764d0f6 Start work on OS2-ising the SSH server Tony Garnock-Jones 2012-05-15 14:49:09 -0400
  • 30ec899976 Prefab SSH message structs Tony Garnock-Jones 2012-05-15 14:22:00 -0400
  • 2afedd91fc Remove to-be-redundant libraries from this branch Tony Garnock-Jones 2012-05-15 14:21:34 -0400
  • bdc4cff0f4 Don't trap break exns in ->string/safe. pre-os-big-bang Tony Garnock-Jones 2012-03-08 14:52:56 -0500
  • faeb19a27e Simplify blocking-box's manager Tony Garnock-Jones 2011-11-23 15:50:56 -0500
  • 9cf5deadeb Driver of combined services Tony Garnock-Jones 2011-11-06 08:26:52 -0500
  • 0c05a400f8 Fix bugs in port-closure-detection logic. Tony Garnock-Jones 2011-11-04 13:57:42 -0400
  • cf7563e5ed Limit number of concurrent logins Tony Garnock-Jones 2011-11-04 13:23:35 -0400
  • f70354c683 Read whole buffers at once, rather than a character at a time Tony Garnock-Jones 2011-11-04 13:22:51 -0400
  • 6b967002c5 Start sandboxes with racket/base instead of full racket. Tony Garnock-Jones 2011-11-02 19:25:39 -0400
  • 091d6796a9 Lower memory limit; remove eval limits Tony Garnock-Jones 2011-11-02 19:13:27 -0400
  • e0cb011ff4 Take rubout and backspace to be the same thing. Tony Garnock-Jones 2011-11-02 18:55:13 -0400
  • 6a4ff24f90 Fixup sandbox security by using master/slave sandbox setup (HT eli) Tony Garnock-Jones 2011-11-02 18:53:15 -0400
  • 6271b7a3af Comment re ill-formed SSH_MSG_DISCONNECT spotted in the wild from OpenSSH 5.3p1 Tony Garnock-Jones 2011-11-02 18:52:39 -0400
  • a1f38b86bf More help text. Tony Garnock-Jones 2011-10-31 11:35:07 -0400
  • 89e96b0ccb Help text Tony Garnock-Jones 2011-10-31 10:55:19 -0400
  • bfc86ec58d Spy on the interaction room. Tony Garnock-Jones 2011-10-31 08:54:51 -0400
  • 96892901ca Don't include invisible members in membership summary. Tony Garnock-Jones 2011-10-31 08:54:39 -0400
  • e279e35de6 Make rekeys happen once an hour, as recommended Tony Garnock-Jones 2011-10-29 09:00:09 -0400
  • 20f273e41e Restore mistakenly omitted #t setting for reuse?. Tony Garnock-Jones 2011-10-27 18:14:04 -0400
  • 6f4efca1d2 Fix I/O and sharing of environments Tony Garnock-Jones 2011-10-27 18:13:49 -0400
  • 11f7435b1c Remove obsolete default-valued parameter Tony Garnock-Jones 2011-10-27 15:53:00 -0400
  • 5e742fbc8d Tweak REPL behaviour, and listen on 0.0.0.0 Tony Garnock-Jones 2011-10-27 15:50:18 -0400
  • ae9a751ed3 Create per-user shells with persistent environments. Tony Garnock-Jones 2011-10-27 15:25:06 -0400
  • ad7b120bf6 Support cooker prompts in ssh-service. Tony Garnock-Jones 2011-10-27 15:24:34 -0400
  • fe0f7c7fe0 Add try-listen message for polling a conversation handle Tony Garnock-Jones 2011-10-27 15:24:12 -0400
  • 128ef2d43c Split out yet another layer, a combination of code from ssh-session and repl-server. Tony Garnock-Jones 2011-10-27 14:15:44 -0400
  • 7ad6291124 Fix EOF- and close-negotiation; switch API for closing; connect sandbox repl. Tony Garnock-Jones 2011-10-26 19:16:16 -0400
  • 9437241481 Close ports in the "graceful exit" case as well as on exceptions. Tony Garnock-Jones 2011-10-26 19:15:07 -0400
  • 3d0d2c38e9 Be less gratuitously noisy on socket close. Tony Garnock-Jones 2011-10-26 19:14:45 -0400
  • c42934d07b Uncook newlines into CRLFs on the way out. Tony Garnock-Jones 2011-10-26 19:11:41 -0400
  • 6db845eda5 Remove ill-thought-out break-on-departure feature. Tony Garnock-Jones 2011-10-26 19:10:23 -0400
  • 5e0d17e48f Exploit thread-dead?, rather than tracking it ourselves. Tony Garnock-Jones 2011-10-26 10:47:21 -0400
  • d47f553e21 Fix bugs in channel shutdown handling. Add tty cooker. Tony Garnock-Jones 2011-10-26 00:07:38 -0400
  • 887aada203 Break threads only after their output-queues have been drained. Tony Garnock-Jones 2011-10-26 00:06:29 -0400
  • 29dd5226c2 Rename host-key.rkt to ssh-host-key.rkt Tony Garnock-Jones 2011-10-25 21:21:48 -0400
  • d5fefe5146 Enforce *double* our packet-size-limit temporarily. Tony Garnock-Jones 2011-10-25 19:02:23 -0400
  • f6611fa671 Most remaining channel functionality. Tony Garnock-Jones 2011-10-25 19:00:13 -0400
  • f16e876f75 Channel requests and more channel driver logic. Tony Garnock-Jones 2011-10-25 16:45:15 -0400
  • 038be62f03 More channel support; Lift event-handlers into a state-monad-like form. Tony Garnock-Jones 2011-10-25 14:30:41 -0400
  • 204edd2679 General RPC-management utilities. Tony Garnock-Jones 2011-10-25 14:29:18 -0400
  • 0af0e9ffa3 Permit extraction of join-name from a handle. Tony Garnock-Jones 2011-10-25 14:28:50 -0400
  • c70439595b Tweak to room-handle names Tony Garnock-Jones 2011-10-24 18:36:32 -0400
  • 915f990804 Cosmetic Tony Garnock-Jones 2011-10-24 18:36:18 -0400
  • 9290dbea34 More channel management, and steps toward a repl server Tony Garnock-Jones 2011-10-24 18:36:08 -0400
  • 1ab7cecf97 Reorder out-of-order request responses. Tony Garnock-Jones 2011-10-24 18:34:47 -0400
  • 125e19f41a More utility prefab messages. Tony Garnock-Jones 2011-10-24 18:34:08 -0400
  • 67a00406d0 Move wait-for-members and spy-on to conversation.rkt Tony Garnock-Jones 2011-10-24 18:33:49 -0400
  • c79eaf055f Flag TODOs as such Tony Garnock-Jones 2011-10-24 14:34:22 -0400
  • 89929039c8 Make rekeying less frequent. Tony Garnock-Jones 2011-10-24 10:47:23 -0400
  • 98e19dc92e Stub out authentication and connection layers. Tony Garnock-Jones 2011-10-24 10:47:12 -0400
  • a7e26dcccd Introduce write-message!/flush Tony Garnock-Jones 2011-10-24 10:46:37 -0400
  • 17a537b5a2 Oops - rekey-wait-deadline is absolute, not relative Tony Garnock-Jones 2011-10-24 09:24:54 -0400
  • 282d3671ad Start work on SERVICE_REQUEST. Tony Garnock-Jones 2011-10-23 21:26:13 -0400
  • 7de4c802f1 Honour restrictions in RFC4253 section 7.1. Tony Garnock-Jones 2011-10-23 21:13:29 -0400
  • ae4005b002 Avoid race between run-ssh-session's KEXINIT and the startup of ssh-writer. Tony Garnock-Jones 2011-10-23 21:12:50 -0400
  • 4cf624dd1e Support invisible room members. Tony Garnock-Jones 2011-10-23 21:11:58 -0400
  • a27b56e538 Split session management and transport apart. Tony Garnock-Jones 2011-10-23 16:39:14 -0400
  • 18fcb4cebd Make all ssh-msg structs inherit from a supertype. Tony Garnock-Jones 2011-10-23 16:38:23 -0400