GitHub Access Token became invalid

It seems like the GitHub access token used for retrieving details about this repository from GitHub became invalid. This might prevent certain types of inspections from being run (in particular, everything related to pull requests).
Please ask an admin of your repository to re-new the access token on this website.

Code Duplication    Length = 6-6 lines in 2 locations

src/php/Storyplayer/SPv2/Modules/Host/UsingHost.php 2 locations

@@ 136-141 (lines=6) @@
133
        // yes it is, so stop it
134
        // send a TERM signal to the screen session
135
        $log->addStep("send SIGTERM to process '{$pid}'", function() use ($pid) {
136
            if ($this->getIsLocalhost()) {
137
                posix_kill($pid, SIGTERM);
138
            }
139
            else {
140
                usingHost($this->args[0])->runCommand("kill {$pid}");
141
            }
142
        });
143
144
        // has this worked?
@@ 165-170 (lines=6) @@
162
        }
163
164
        $log->addStep("send SIGKILL to process '{$pid}'", function() use($pid) {
165
            if ($this->getIsLocalhost()) {
166
                posix_kill($pid, SIGKILL);
167
            }
168
            else {
169
                usingHost($this->args[0])->runCommand("kill -9 {$pid}");
170
            }
171
            sleep(1);
172
        });
173