search

rvmiller89 / multitype

Eclipse Plug-in for collaborative code editing similar to Google Docs
0 stars 0 forks source link

Delete user from user map if the socket fails not only if receives a user_disconnected #16

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1.
2.
3.

What is the expected output? What do you see instead?

Please use labels and text to provide additional information.

Original issue reported on code.google.com by rharagut...@gmail.com on 12 Apr 2011 at 4:20

GoogleCodeExporter commented 9 years ago

Original comment by rharagut...@gmail.com on 13 Apr 2011 at 4:06