while(true) would convey that much more clearly - and perhaps obviate the need for pr_ex.
Yes, I can surely transform the code
- while (pr_ex != curr_id) {
+ if (pr_ex != curr_id) {
+ while (true} {
The intention was to save a line :-)
I'll use while (true), if it improves readability.
Sincerely yours,
Ivan
