diff options
author | wolfbeast <mcwerewolf@gmail.com> | 2018-05-23 20:16:00 +0200 |
---|---|---|
committer | wolfbeast <mcwerewolf@gmail.com> | 2018-05-23 20:16:00 +0200 |
commit | 94988a2b4e6bd85ee8216c65cc8cd73d14cf1ad1 (patch) | |
tree | b10414cf2c2d85136861bae6df7ab1d0295c439a /tools/jprof/jprofsig | |
parent | 542da56e2c4f992afb50c4222dcf757c3a3e6a5c (diff) | |
download | UXP-94988a2b4e6bd85ee8216c65cc8cd73d14cf1ad1.tar UXP-94988a2b4e6bd85ee8216c65cc8cd73d14cf1ad1.tar.gz UXP-94988a2b4e6bd85ee8216c65cc8cd73d14cf1ad1.tar.lz UXP-94988a2b4e6bd85ee8216c65cc8cd73d14cf1ad1.tar.xz UXP-94988a2b4e6bd85ee8216c65cc8cd73d14cf1ad1.zip |
Remove the jprof profiler.
This resolves #377.
Diffstat (limited to 'tools/jprof/jprofsig')
-rwxr-xr-x | tools/jprof/jprofsig | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/tools/jprof/jprofsig b/tools/jprof/jprofsig deleted file mode 100755 index 02226fc4b..000000000 --- a/tools/jprof/jprofsig +++ /dev/null @@ -1,46 +0,0 @@ -#!/bin/sh -# -# This Source Code Form is subject to the terms of the Mozilla Public -# License, v. 2.0. If a copy of the MPL was not distributed with this -# file, You can obtain one at http://mozilla.org/MPL/2.0/. - -# -# Find Mozilla PID and send it a signal, to be used -# with the jprof tool. -# - -jpsignal_usage() { - echo "Usage: jprofsig [start|stop]" - exit 1 -} - -if [ $# != 1 ]; then - echo "Wrong number of arguments." - jpsignal_usage -fi - -jpsignal_arg="$1" - -# Find & print mozilla PID -tmpmoz=`ps aux | grep mozilla-bin | head -1 | awk '{ print $2 }'` -echo "Mozilla PID = $tmpmoz" - -# See how we were called. -case "$jpsignal_arg" in - start) - if [ "$JP_REALTIME" = 1 ]; then - kill -ALRM $tmpmoz - else - # Normal, non-realtime mode. - kill -PROF $tmpmoz - fi - ;; - stop) - kill -USR1 $tmpmoz - ;; - *) - jpsignal_usage - exit 1 -esac - -exit 0 |