It works for me. Since it doesn't work for everybody I'm assuming that VirtualBox presents different bios names for the nic, perhaps depending on the version. I'll change the VM to fix that.
-- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
