Commit eaff1728aebaf49a7bc6f1c8ff7bc85025fe1151

Bruno Haible 2008-10-05T16:58:03

Use getdtablesize module.