| Index: ports/devenv/bash.js
|
| diff --git a/ports/devenv/bash.js b/ports/devenv/bash.js
|
| index ae6caa6d83d87c409371742c59cf3a02997e840c..6e04d09f85960e6cac822dd0ca6b33bbd6d0ffc1 100644
|
| --- a/ports/devenv/bash.js
|
| +++ b/ports/devenv/bash.js
|
| @@ -4,6 +4,12 @@
|
| * found in the LICENSE file.
|
| */
|
|
|
| +/* globals g_mount, lib, hterm, NaClTerm, makeRootDir, initMounter */
|
| +/* globals mounter: true, mounterHeader: true, mounterBackground: true */
|
| +/* globals mounterThumb: true, MounterClient */
|
| +
|
| +'use strict';
|
| +
|
| function addMount(mountPoint, entry, localPath, mounted) {
|
| g_mount.mountPoint = mountPoint;
|
| g_mount.entry = entry;
|
| @@ -61,7 +67,7 @@ function handleMount(mount, callback) {
|
| }
|
|
|
| function handleUnmount(mount, callback) {
|
| - mount.operationId = 'unmount'
|
| + mount.operationId = 'unmount';
|
| mount.available = false;
|
| var message = {};
|
| message.unmount = mount;
|
| @@ -72,7 +78,7 @@ function handleUnmount(mount, callback) {
|
|
|
| function initMountSystem() {
|
| var terminal = document.getElementById('terminal');
|
| - var mounterClient = new initMounterclient(g_mount, handleChooseFolder,
|
| + var mounterClient = new MounterClient(g_mount, handleChooseFolder,
|
| handleMount, handleUnmount, terminal);
|
| addMount('/mnt/local/', null, '', false);
|
| restoreMount(g_mount, function() {
|
|
|