If you get the same bug happening more frequently than just once, then, by all means post it, as at least there is some degree of repeatability, someone might be able to reproduce it.
that those kinds of gremlins are pretty much guaranteed to creep in from time to time - it might not even be a Rhino problem but maybe something with the OS or who knows what… This is a characteristic of all of our complex systems today, I also need to periodically reboot my phone when weird stuff starts happening. There are so many millions of combinations of hardware, software, installation types, etc. If it is a one time bug caused by “gremlins” in the system that restarting magically fixes, and if you cannot repeatably reproduce it, nothing is ever going to get done about it, because there’s no way to know what to fix and nothing to test with. The reasoning for my suggestions above is as follows: Feel free to post a message here in any case about what happened but also mention that it got fixed by restarting.
0 kommentar(er)
