Optimized stop function
Optimized stop function


Former-commit-id: 1433af9f682f9f0865eafd91607fe7fa58e22dbe [formerly 234b8c30f0465693256618b2582b242361c5429e] [formerly e636c152c4efa4610003f2d34fc4e022b44de6ec]
Former-commit-id: 474bdcd33e29991553008130b68e5392a990bc2c
Former-commit-id: 7d95727309182ece681677e096079638821e5edd
DEIB-GECO/PyGMQL,DEIB-GECO/PyGMQL