1 | // returns true if DB was running |
2 | static bool shutDownDB(S dbID) {
|
3 | RemoteDB db = connectToDBOpt(dbID); |
4 | if (db != null) {
|
5 | print("Shutting down DB " + dbID + "...");
|
6 | try {
|
7 | db.xshutdown(); |
8 | } catch e {
|
9 | print("Possibly OK: " + exceptionToStringShort(e));
|
10 | } |
11 | db.close(); |
12 | if (dbRunning(dbID)) {
|
13 | sleepSeconds(5); |
14 | if (dbRunning(dbID)) |
15 | fail("Could not should down DB " + dbID);
|
16 | } |
17 | print("DB shut down.");
|
18 | true; |
19 | } else {
|
20 | print("DB not running.");
|
21 | false; |
22 | } |
23 | } |
download show line numbers debug dex old transpilations
Travelled to 13 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
| Snippet ID: | #1007484 |
| Snippet name: | shutDownDB - shut down a remote DB |
| Eternal ID of this version: | #1007484/3 |
| Text MD5: | 1bff1b5a0135ccb5b9b6092988638b11 |
| Author: | stefan |
| Category: | javax / concepts / rpc |
| Type: | JavaX fragment (include) |
| Public (visible to everyone): | Yes |
| Archived (hidden from active list): | No |
| Created/modified: | 2017-03-24 14:59:51 |
| Source code size: | 550 bytes / 23 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 731 / 735 |
| Version history: | 2 change(s) |
| Referenced in: | [show references] |