Michael Jurka 229dd8b355 Fix bug where it wasn't possible to add widgets ...

- Happened when you were down to 0 widgets (which
won't be possible in future, but fixing this as
well)

2012-10-26 16:06:12 -07:00

..

internal

Fix bug where it wasn't possible to add widgets

2012-10-26 16:06:12 -07:00

server

Support full 32 bits for socket tags.

2012-05-02 16:01:14 -07:00