Old Seashell: selecting files quickly lead to errors & run file being unset

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

Old Seashell: selecting files quickly lead to errors & run file being unset #853

Closed yc2lee closed 6 years ago

yc2lee commented 6 years ago

In old seashell if you open different files very quickly, you get weird {} errors

yc2lee commented 6 years ago

This bug is a bit hard to reproduce because you do have to click/switch the files very quickly. You can use xdotool to make the bug easier to reproduce (update x0,y0,x1,y1):

xdotool mousemove x0 y0; xdotool click 1; xdotool mousemove x1 y1; xdotool click 1;

yc2lee commented 6 years ago

I find that this bug can also cause the runner file to become unset. The |> icon would still appear next to the file name near the top. But it's obvious it's not actually set, since the "Set as run file" link is enabled, and the RUN button is disabled.