small fix
change specification of wait_sock_readable
update .gitignore
fix
merged 'develop'