© 2004
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
bbfa235
(Get the code!)
Based on testing, it seems to also affect when changing marking from history.
Looking in the debugger it seems the markings are saved as empty.
Traced the code back to NetworkMarking.Java line 34-36:
<code>
for (TimedPlace place : tapn.places()) {
place.
}
</code>
Git message is: "Fixed initial markings not updating" changed 2023-04-17.
Removing the change fixes the issue, but will properly bring back the old issue.
This might refer to bugs:
https:/
https:/
I guess we need to revisit this to find a proper fix.