SikuliX

  1. Bug #1813493
  2. Comment #1

Comment 1 for bug 1813493

Revision history for this message
RaiMan (raimund-hocke) wrote :

--- app.setPid(15081);
... is not official API

The pid should be evaluated and set internally

the correct usage would be
app.open();

... but this does not seem to work (see other bug 1813491)

Hence I will change this bug to be a duplicate.