| OLD | NEW |
|---|
| 1 #!/bin/bash | 1 #!/bin/bash |
| 2 # Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file | 2 # Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file |
| 3 # for details. All rights reserved. Use of this source code is governed by a | 3 # for details. All rights reserved. Use of this source code is governed by a |
| 4 # BSD-style license that can be found in the LICENSE.md file. | 4 # BSD-style license that can be found in the LICENSE.md file. |
| 5 | 5 |
| 6 # This program displays information about the Fletch persistent process. | 6 # This program displays information about the Fletch persistent process. |
| 7 # | 7 # |
| 8 # It supports an option -k (or --kill) which will kill the process after | 8 # It supports an option -k (or --kill) which will kill the process after |
| 9 # displaying the information. | 9 # displaying the information. |
| 10 # | 10 # |
| 11 # This is a tool that's intended for people building the Fletch VM. If you find | 11 # This is a tool that's intended for people building the Fletch VM. If you find |
| 12 # yourself using this on a regular basis, please get in touch with the authors | 12 # yourself using this on a regular basis, please get in touch with the authors |
| (...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 45 for pid in $(lsof -t -- "$socket" ) ; do | 45 for pid in $(lsof -t -- "$socket" ) ; do |
| 46 echo Persistent Fletch process $pid: | 46 echo Persistent Fletch process $pid: |
| 47 ps -w -w -o args= -p $pid | 47 ps -w -w -o args= -p $pid |
| 48 if [ $kill ]; then | 48 if [ $kill ]; then |
| 49 kill -TERM $pid | 49 kill -TERM $pid |
| 50 : > $fletch_file | 50 : > $fletch_file |
| 51 fi | 51 fi |
| 52 done | 52 done |
| 53 fi | 53 fi |
| 54 done | 54 done |
| OLD | NEW |
|---|
Chromium Code Reviews
Issue 1649703002:
Update project authors statements to Dartino (Closed)
Base URL: https://github.com/dartino/sdk.git@master