Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Polling label doesn't disappear sometimes #67

Closed
LPGhatguy opened this issue May 1, 2018 · 2 comments
Closed

Polling label doesn't disappear sometimes #67

LPGhatguy opened this issue May 1, 2018 · 2 comments
Labels
type: bug Something happens that shouldn't happen
Milestone

Comments

@LPGhatguy
Copy link
Contributor

It appears there may be an uncaught error in the polling system that leaves the label around. @ZoteTheMighty should have more details.

@LPGhatguy LPGhatguy added the type: bug Something happens that shouldn't happen label May 1, 2018
@ZoteTheMighty
Copy link
Contributor

Looks like it's an issue that occurs during plugin development. Repro:

  1. Turn on polling.
  2. Save a local plugin, which causes plugins to refresh

You'll still see the polling label on the screen, but polling will have stopped when the plugin stopped.

Solution would be to check for and clean up the label on startup. Technically you could try to leave something in the workspace that indicates that polling should start back up after plugin refresh, but that starts to get messy.

@LPGhatguy LPGhatguy added this to the 0.4.6 milestone May 9, 2018
@LPGhatguy
Copy link
Contributor Author

I took this approach a step further.

Like suggested, when Rojo starts up, I check for an existing label and clean it up if it's present.

What I also do is listen for the plugin's label to be destroyed, and if it is, I assume it's Roblox Studio signalling that the plugin is being replaced by a new instance (since the new instance would destroy the previous one's UI). That gives us a signal that we can use to stop any polling, get rid of any signals, etc.

Dekkonot pushed a commit to UpliftGames/rojo that referenced this issue Jan 11, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: bug Something happens that shouldn't happen
Projects
None yet
Development

No branches or pull requests

2 participants