| Revision 4,
450 bytes
checked in by ajaworski, 13 years ago
(diff) |
|
Added modified SAGE sources
|
-
Property svn:executable set to
*
|
| Line | |
|---|
| 1 | #!/usr/bin/python |
|---|
| 2 | |
|---|
| 3 | ### script that kills the appLauncher running at the optionally specified port |
|---|
| 4 | ### this is useful when the appLauncher was started by someone else |
|---|
| 5 | ### but you don't have the permissions to kill it |
|---|
| 6 | |
|---|
| 7 | import xmlrpclib, sys, socket |
|---|
| 8 | port = str(19010) |
|---|
| 9 | if len(sys.argv) > 1: port = sys.argv[1] |
|---|
| 10 | try: |
|---|
| 11 | xmlrpclib.ServerProxy("http://localhost:"+port).killLauncher() |
|---|
| 12 | except socket.error: |
|---|
| 13 | print "AppLauncher doesn't seem to be running" |
|---|
Note: See
TracBrowser
for help on using the repository browser.
