search

VerifiableRobotics / LTLMoPWeb3D

A website for Cornell's Autonomous Systems Lab to essentially have LTLMoP available in 3D and online
https://ltlmop.herokuapp.com/
Other
3 stars 1 forks source link

Implement Sessions #4

Closed agilgur5 closed 9 years ago

agilgur5 commented 9 years ago

For multi-user support/uploads

agilgur5 commented 9 years ago

Sessions are now implemented, but importing spec has potential to give errors because regions file names will no longer remain the same as listed in the relative path in the specfile (for uniqueness, they can't remain the same).

agilgur5 commented 9 years ago

Instead of naming files based on sessions, name folders based on sessions (and place all files for that session in that folder). Make sure folders are also deleted by #5