Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
emulab-devel
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
143
Issues
143
List
Boards
Labels
Service Desk
Milestones
Merge Requests
6
Merge Requests
6
Operations
Operations
Incidents
Analytics
Analytics
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
emulab
emulab-devel
Commits
8c523a43
Commit
8c523a43
authored
Nov 16, 2015
by
Leigh B Stoller
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Minor change to use InfoDir and WorkDir() instead of locally hardwired
paths.
parent
d4c68c70
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
5 additions
and
7 deletions
+5
-7
tbsetup/mkexpdir.in
tbsetup/mkexpdir.in
+5
-7
No files found.
tbsetup/mkexpdir.in
View file @
8c523a43
#!/usr/bin/perl -wT
#!/usr/bin/perl -wT
#
#
# Copyright (c) 2000-201
4
University of Utah and the Flux Group.
# Copyright (c) 2000-201
5
University of Utah and the Flux Group.
#
#
# {{{EMULAB-LICENSE
# {{{EMULAB-LICENSE
#
#
...
@@ -92,8 +92,8 @@ my $piddir = (($pid eq $gid) ? "$projroot/$pid" : "$grouproot/$pid/$gid");
...
@@ -92,8 +92,8 @@ my $piddir = (($pid eq $gid) ? "$projroot/$pid" : "$grouproot/$pid/$gid");
my
$expdir
=
"
$piddir
/exp
";
my
$expdir
=
"
$piddir
/exp
";
my
$eiddir
=
"
$expdir
/
$eid
";
my
$eiddir
=
"
$expdir
/
$eid
";
my
$eidlink
=
"
$projroot
/
$pid
/exp/
$eid
";
my
$eidlink
=
"
$projroot
/
$pid
/exp/
$eid
";
my
$workdir
=
TBExptWorkDir
(
$pid
,
$eid
);
my
$workdir
=
$experiment
->
WorkDir
(
);
my
$
INFODIR
=
"
$TB
/expinfo
"
;
my
$
expinfo
=
$experiment
->
InfoDir
()
;
#
#
# Unix info for the group
# Unix info for the group
...
@@ -175,11 +175,9 @@ if (! -e $workdir) {
...
@@ -175,11 +175,9 @@ if (! -e $workdir) {
#
#
# Create the expinfo directory.
# Create the expinfo directory.
#
#
my
$expinfo
=
"
$INFODIR
/
$pid
/
$eid
";
if
(
!
-
e
$expinfo
)
{
if
(
!
-
e
$expinfo
)
{
if
(
!
mkdir
(
$expinfo
,
0777
))
{
if
(
system
("
mkdir -p -m 777
$expinfo
"
))
{
fatal
("
Could not create
$expinfo
: $!
");
fatal
("
Could not create
$expinfo
");
}
}
#
#
# expinfo dir should have the group ID of the primary project group.
# expinfo dir should have the group ID of the primary project group.
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment