device_reference and device_deallocate

2008-07-16 Thread Barry deFreese
Hi folks, I ran in to a strange one while working on some more gnumach cleanup. device_reference was renamed to mach_device_reference quite a while back and device_deallocate was renamed to mach_device_deallocate. However, ds_routines.c still define device_reference and device_deallocate and

Re: Problems with stability of networking / pfinet

2008-07-16 Thread Thomas Schwinge
Hello! Barry rebooted flubber and I was able to do some (tiny amount of) work on her, but now... On Sat, Jul 12, 2008 at 10:06:54AM +0200, I wrote: > $ ssh flubber > Warning: Permanently added '[flubber.bddebian.com]:2250' (RSA) to the > list of known hosts. > Connection closed by 71

Re: codeswarm videos for GNU/Hurd and gnumach

2008-07-16 Thread Thomas Schwinge
Hello! On Tue, Jul 15, 2008 at 11:15:41PM +0200, [EMAIL PROTECTED] wrote: > Also, with the start of the new wiki in late 2007, the commit address > becomes rather meaningless, as all commits done through the web > interface end up with the same name... Would it be possible to extract > the actual

Re: wiki stability

2008-07-16 Thread Thomas Schwinge
Hello! On Wed, Jul 16, 2008 at 08:37:29AM +0200, Arne Babenhauserheide wrote: > Am Dienstag 15 Juli 2008 23:17:42 schrieb [EMAIL PROTECTED]: > > People are working now on making it more stable... (Or actually, making > > it easier to kick it when necessary ;-) ) Correct. > Control socket connect