cs136 / seashell

Seashell is an online environment for editing, running, and submitting C programming assignments.
GNU General Public License v3.0
38 stars 19 forks source link

Better handling of server changes in reducer #794

Open e45lee opened 7 years ago

e45lee commented 7 years ago

Currently if we receive changes from the server that are not from us we kick the user out of his session, to stop his UI state from becoming inconsistent with what's stored in the database.

This isn't so great, so we should fix this eventually.