diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2019-10-08 07:25:27 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2019-10-08 07:25:27 +0200 |
| commit | 6d050e13e9dbbeffdb45fc1c5b977b996d310981 (patch) | |
| tree | b201bc97ea832ce0c43f144ef7229f52e42bbf23 /src/VideoSupport.vala | |
| parent | 10ce63378912ef63c8882889f02ed4dff0416f32 (diff) | |
| parent | d84f449fcb5ea05fcbb9eee098b7438aa332ad31 (diff) | |
Merge branch 'release/debian/0.30.7-1'debian/0.30.7-1
Diffstat (limited to 'src/VideoSupport.vala')
| -rw-r--r-- | src/VideoSupport.vala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/VideoSupport.vala b/src/VideoSupport.vala index 857a901..533dfe6 100644 --- a/src/VideoSupport.vala +++ b/src/VideoSupport.vala @@ -232,7 +232,11 @@ public class VideoReader { debug("Thumbnailer timer called"); if (thumbnailer_pid != 0) { debug("Killing thumbnailer process: %d", thumbnailer_pid); +#if VALA_0_40 + Posix.kill(thumbnailer_pid, Posix.Signal.KILL); +#else Posix.kill(thumbnailer_pid, Posix.SIGKILL); +#endif } return false; // Don't call again. } |