ksession_parse.c 23 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868
  1. /** @file ksession_parse.c
  2. */
  3. #include <assert.h>
  4. #include <stdio.h>
  5. #include <stdlib.h>
  6. #include <string.h>
  7. #include <signal.h>
  8. #include <sys/types.h>
  9. #include <sys/wait.h>
  10. #include <unistd.h>
  11. #include <syslog.h>
  12. #include <faux/eloop.h>
  13. #include <faux/buf.h>
  14. #include <faux/list.h>
  15. #include <faux/argv.h>
  16. #include <faux/error.h>
  17. #include <klish/khelper.h>
  18. #include <klish/kscheme.h>
  19. #include <klish/kpath.h>
  20. #include <klish/kpargv.h>
  21. #include <klish/kexec.h>
  22. #include <klish/ksession.h>
  23. #include <klish/ksession_parse.h>
  24. static bool_t ksession_validate_arg(ksession_t *session, kpargv_t *pargv)
  25. {
  26. char *out = NULL;
  27. int retcode = -1;
  28. const kentry_t *ptype_entry = NULL;
  29. kparg_t *candidate = NULL;
  30. assert(session);
  31. if (!session)
  32. return BOOL_FALSE;
  33. assert(pargv);
  34. if (!pargv)
  35. return BOOL_FALSE;
  36. candidate = kpargv_candidate_parg(pargv);
  37. if (!candidate)
  38. return BOOL_FALSE;
  39. ptype_entry = kentry_nested_by_purpose(kparg_entry(candidate),
  40. KENTRY_PURPOSE_PTYPE);
  41. if (!ptype_entry)
  42. return BOOL_FALSE;
  43. if (!ksession_exec_locally(session, ptype_entry, pargv,
  44. &retcode, &out)) {
  45. return BOOL_FALSE;
  46. }
  47. if (retcode != 0)
  48. return BOOL_FALSE;
  49. if (!faux_str_is_empty(out))
  50. kparg_set_value(candidate, out);
  51. return BOOL_TRUE;
  52. }
  53. static kpargv_status_e ksession_parse_arg(ksession_t *session,
  54. const kentry_t *current_entry, faux_argv_node_t **argv_iter,
  55. kpargv_t *pargv, bool_t entry_is_command, bool_t is_filter)
  56. {
  57. const kentry_t *entry = current_entry;
  58. kentry_mode_e mode = KENTRY_MODE_NONE;
  59. kpargv_status_e retcode = KPARSE_NONE; // For ENTRY itself
  60. kpargv_status_e rc = KPARSE_NONE; // For nested ENTRYs
  61. kpargv_purpose_e purpose = KPURPOSE_NONE;
  62. //if (kentry_purpose(entry) == KENTRY_PURPOSE_COMMON)
  63. //fprintf(stderr, "PARSE: name=%s, arg=%s, pargs=%d\n",
  64. //kentry_name(entry), faux_argv_current(*argv_iter),
  65. //kpargv_pargs_len(pargv));
  66. assert(current_entry);
  67. if (!current_entry)
  68. return KPARSE_ERROR;
  69. assert(argv_iter);
  70. if (!argv_iter)
  71. return KPARSE_ERROR;
  72. assert(pargv);
  73. if (!pargv)
  74. return KPARSE_ERROR;
  75. purpose = kpargv_purpose(pargv); // Purpose of parsing
  76. // If we know the entry is a command then don't validate it. This
  77. // behaviour is usefull for special purpose entries like PTYPEs, CONDs,
  78. // etc. These entries are the starting point for parsing their args.
  79. // We don't need to parse command itself. Command is predefined.
  80. if (entry_is_command) {
  81. kparg_t *parg = NULL;
  82. // Command is an ENTRY with ACTIONs
  83. if (kentry_actions_len(entry) <= 0)
  84. return KPARSE_ERROR;
  85. parg = kparg_new(entry, NULL);
  86. kpargv_add_pargs(pargv, parg);
  87. kpargv_set_command(pargv, entry);
  88. retcode = KPARSE_OK;
  89. // Is entry candidate to resolve current arg?
  90. // Container can't be a candidate.
  91. } else if (!kentry_container(entry)) {
  92. const char *current_arg = NULL;
  93. kparg_t *parg = NULL;
  94. // When purpose is COMPLETION or HELP then fill completion list.
  95. // Additionally if it's last continuable argument then lie to
  96. // engine: make all last arguments NOTFOUND. It's necessary to walk
  97. // through all variants to gather all completions.
  98. // is_filter: When it's a filter then all non-first entries can be
  99. // filters or non-filters
  100. if (((KPURPOSE_COMPLETION == purpose) ||
  101. (KPURPOSE_HELP == purpose)) &&
  102. ((is_filter == kentry_filter(entry)) ||
  103. (is_filter && kpargv_pargs_len(pargv)))) {
  104. if (!*argv_iter) {
  105. // That's time to add entry to completions list.
  106. if (!kpargv_continuable(pargv))
  107. kpargv_add_completions(pargv, entry);
  108. return KPARSE_NOTFOUND;
  109. // Add entry to completions if it's last incompleted arg.
  110. } else if (faux_argv_is_last(*argv_iter) &&
  111. kpargv_continuable(pargv)) {
  112. kpargv_add_completions(pargv, entry);
  113. return KPARSE_NOTFOUND;
  114. }
  115. }
  116. // If all arguments are resolved already then return INCOMPLETED
  117. if (!*argv_iter)
  118. return KPARSE_NOTFOUND;
  119. // Validate argument
  120. current_arg = faux_argv_current(*argv_iter);
  121. parg = kparg_new(entry, current_arg);
  122. kpargv_set_candidate_parg(pargv, parg);
  123. if (ksession_validate_arg(session, pargv)) {
  124. kpargv_accept_candidate_parg(pargv);
  125. // Command is an ENTRY with ACTIONs or NAVigation
  126. if (kentry_actions_len(entry) > 0)
  127. kpargv_set_command(pargv, entry);
  128. faux_argv_each(argv_iter); // Next argument
  129. retcode = KPARSE_OK;
  130. } else {
  131. // It's not a container and is not validated so
  132. // no chance to find anything here.
  133. kpargv_decline_candidate_parg(pargv);
  134. kparg_free(parg);
  135. return KPARSE_NOTFOUND;
  136. }
  137. }
  138. //if (kentry_purpose(entry) == KENTRY_PURPOSE_COMMON)
  139. //fprintf(stderr, "ITSELF: name=%s, retcode=%s\n",
  140. //kentry_name(entry), kpargv_status_decode(retcode));
  141. // It's not container and suitable entry is not found
  142. if (retcode == KPARSE_NOTFOUND)
  143. return retcode;
  144. // ENTRY has no nested ENTRYs so return
  145. if (kentry_entrys_is_empty(entry))
  146. return retcode;
  147. // EMPTY mode
  148. mode = kentry_mode(entry);
  149. if (KENTRY_MODE_EMPTY == mode)
  150. return retcode;
  151. // SWITCH mode
  152. // Entries within SWITCH can't has 'min'/'max' else than 1.
  153. // So these attributes will be ignored. Note SWITCH itself can have
  154. // 'min'/'max'.
  155. if (KENTRY_MODE_SWITCH == mode) {
  156. kentry_entrys_node_t *iter = kentry_entrys_iter(entry);
  157. const kentry_t *nested = NULL;
  158. //if (kentry_purpose(entry) == KENTRY_PURPOSE_COMMON)
  159. //fprintf(stderr, "SWITCH: name=%s, arg %s\n", kentry_name(entry),
  160. //*argv_iter ? faux_argv_current(*argv_iter) : "<empty>");
  161. while ((nested = kentry_entrys_each(&iter))) {
  162. kpargv_status_e res = KPARSE_NONE;
  163. // Ignore entries with non-COMMON purpose.
  164. if (kentry_purpose(nested) != KENTRY_PURPOSE_COMMON)
  165. continue;
  166. //if (kentry_purpose(entry) == KENTRY_PURPOSE_COMMON)
  167. //fprintf(stderr, "SWITCH-nested name=%s, nested=%s\n",
  168. //kentry_name(entry), kentry_name(nested));
  169. res = ksession_parse_arg(session, nested, argv_iter,
  170. pargv, BOOL_FALSE, is_filter);
  171. if (res == KPARSE_NONE)
  172. rc = KPARSE_NOTFOUND;
  173. else
  174. rc = res;
  175. //if (kentry_purpose(entry) == KENTRY_PURPOSE_COMMON)
  176. //fprintf(stderr, "SWITCH-nested-answer: name=%s, nested=%s, res=%s\n",
  177. //kentry_name(entry), kentry_name(nested), kpargv_status_decode(res));
  178. // Save choosen entry name to container's value
  179. if ((res == KPARSE_OK) && kentry_container(entry)) {
  180. kparg_t *parg = kparg_new(entry, kentry_name(nested));
  181. kpargv_add_pargs(pargv, parg);
  182. }
  183. // Try next entries if current status is NOTFOUND or NONE
  184. if ((res == KPARSE_OK) || (res == KPARSE_ERROR))
  185. break;
  186. }
  187. // SEQUENCE mode
  188. } else if (KENTRY_MODE_SEQUENCE == mode) {
  189. kentry_entrys_node_t *iter = kentry_entrys_iter(entry);
  190. kentry_entrys_node_t *saved_iter = iter;
  191. const kentry_t *nested = NULL;
  192. kpargv_t *cur_level_pargv = kpargv_new();
  193. while ((nested = kentry_entrys_each(&iter))) {
  194. kpargv_status_e res = KPARSE_NONE;
  195. size_t num = 0;
  196. size_t min = kentry_min(nested);
  197. bool_t break_loop = BOOL_FALSE;
  198. bool_t consumed = BOOL_FALSE;
  199. // Ignore entries with non-COMMON purpose.
  200. if (kentry_purpose(nested) != KENTRY_PURPOSE_COMMON)
  201. continue;
  202. // Filter out double parsing for optional entries.
  203. if (kpargv_entry_exists(cur_level_pargv, nested))
  204. continue;
  205. //if (kentry_purpose(entry) == KENTRY_PURPOSE_COMMON)
  206. //fprintf(stderr, "SEQ name=%s, arg=%s\n",
  207. //kentry_name(entry), *argv_iter ? faux_argv_current(*argv_iter) : "<empty>");
  208. // Try to match argument and current entry
  209. // (from 'min' to 'max' times)
  210. for (num = 0; num < kentry_max(nested); num++) {
  211. //if (kentry_purpose(entry) == KENTRY_PURPOSE_COMMON)
  212. //fprintf(stderr, "SEQ-nested: name=%s, nested=%s\n",
  213. //kentry_name(entry), kentry_name(nested));
  214. res = ksession_parse_arg(session, nested,
  215. argv_iter, pargv, BOOL_FALSE, is_filter);
  216. //if (kentry_purpose(entry) == KENTRY_PURPOSE_COMMON)
  217. //fprintf(stderr, "SEQ-nested-answer: name=%s, nested=%s, res=%s, num=%d, min=%d\n",
  218. //kentry_name(entry), kentry_name(nested), kpargv_status_decode(res), num, min);
  219. // It's not an error but there will be not
  220. // additional arguments of the same entry
  221. if ((res == KPARSE_NONE) ||
  222. ((res == KPARSE_NOTFOUND) && (num >= min)))
  223. break;
  224. // Only ERROR, OK or NOTFOUND (with not
  225. // enough arguments) will set rc
  226. rc = res;
  227. // Only OK will continue the loop. Any
  228. // another case will break the loop and ext loop
  229. if (res != KPARSE_OK) {
  230. break_loop = BOOL_TRUE;
  231. break;
  232. }
  233. consumed = BOOL_TRUE;
  234. }
  235. if (break_loop)
  236. break;
  237. if (consumed) {
  238. // Remember if optional parameter was already
  239. // entered
  240. kparg_t *tmp_parg = kparg_new(nested, NULL);
  241. kpargv_add_pargs(cur_level_pargv, tmp_parg);
  242. // SEQ container will get all entered nested
  243. // entry names as value within resulting pargv
  244. if (kentry_container(entry)) {
  245. kparg_t *parg = kparg_new(entry,
  246. kentry_name(nested));
  247. kpargv_add_pargs(pargv, parg);
  248. rc = res;
  249. }
  250. // Mandatory or ordered parameter
  251. if ((min > 0) || kentry_order(nested))
  252. saved_iter = iter;
  253. // If optional entry is found then go back to nearest
  254. // non-optional (or ordered) entry to try to find
  255. // another optional entries.
  256. if ((0 == min) && (num > 0))
  257. iter = saved_iter;
  258. }
  259. }
  260. kpargv_free(cur_level_pargv);
  261. }
  262. if (rc == KPARSE_NONE)
  263. return retcode;
  264. if (retcode == KPARSE_NONE)
  265. return rc;
  266. // If nested result is NOTFOUND but argument was consumed
  267. // by entry itself then whole sequence is ERROR
  268. if ((retcode == KPARSE_OK) && (rc == KPARSE_NOTFOUND))
  269. rc = KPARSE_ERROR;
  270. //if (kentry_purpose(entry) == KENTRY_PURPOSE_COMMON)
  271. //fprintf(stderr, "RET: name=%s, rc=%s\n", kentry_name(entry), kpargv_status_decode(rc));
  272. return rc;
  273. }
  274. kpargv_t *ksession_parse_line(ksession_t *session, const faux_argv_t *argv,
  275. kpargv_purpose_e purpose, bool_t is_filter)
  276. {
  277. faux_argv_node_t *argv_iter = NULL;
  278. kpargv_t *pargv = NULL;
  279. kpargv_status_e pstatus = KPARSE_NONE;
  280. kpath_levels_node_t *levels_iterr = NULL;
  281. klevel_t *level = NULL;
  282. size_t level_found = 0; // Level where command was found
  283. kpath_t *path = NULL;
  284. assert(session);
  285. if (!session)
  286. return NULL;
  287. assert(argv);
  288. if (!argv)
  289. return NULL;
  290. argv_iter = faux_argv_iter(argv);
  291. // Initialize kpargv_t
  292. pargv = kpargv_new();
  293. assert(pargv);
  294. kpargv_set_continuable(pargv, faux_argv_is_continuable(argv));
  295. kpargv_set_purpose(pargv, purpose);
  296. // Iterate levels of path from higher to lower. Note the reversed
  297. // iterator will be used.
  298. path = ksession_path(session);
  299. levels_iterr = kpath_iterr(path);
  300. level_found = kpath_len(path) - 1; // Levels begin with '0'
  301. while ((level = kpath_eachr(&levels_iterr))) {
  302. const kentry_t *current_entry = klevel_entry(level);
  303. // Ignore entries with non-COMMON purpose. These entries are for
  304. // special processing and will be ignored here.
  305. if (kentry_purpose(current_entry) != KENTRY_PURPOSE_COMMON)
  306. continue;
  307. // Parsing
  308. pstatus = ksession_parse_arg(session, current_entry, &argv_iter,
  309. pargv, BOOL_FALSE, is_filter);
  310. if ((pstatus != KPARSE_NOTFOUND) && (pstatus != KPARSE_NONE))
  311. break;
  312. // NOTFOUND but some args were parsed.
  313. // When it's completion for first argument (that can be continued)
  314. // len == 0 and engine will search for completions on higher
  315. // levels of path.
  316. if (kpargv_pargs_len(pargv) > 0)
  317. break;
  318. level_found--;
  319. }
  320. // Save last argument
  321. if (argv_iter)
  322. kpargv_set_last_arg(pargv, faux_argv_current(argv_iter));
  323. // It's a higher level of parsing, so some statuses can have different
  324. // meanings
  325. if (KPARSE_NONE == pstatus) {
  326. pstatus = KPARSE_ERROR;
  327. } else if (KPARSE_OK == pstatus) {
  328. // Not all args are parsed
  329. if (argv_iter != NULL)
  330. pstatus = KPARSE_ERROR; // Additional not parsable args
  331. // If no ACTIONs were found i.e. command was not found
  332. else if (!kpargv_command(pargv))
  333. pstatus = KPARSE_NOACTION;
  334. } else if (KPARSE_NOTFOUND == pstatus) {
  335. pstatus = KPARSE_ERROR; // Unknown command
  336. }
  337. kpargv_set_status(pargv, pstatus);
  338. kpargv_set_level(pargv, level_found);
  339. return pargv;
  340. }
  341. // Delimeter of commands is '|' (pipe)
  342. faux_list_t *ksession_split_pipes(const char *raw_line, faux_error_t *error)
  343. {
  344. faux_list_t *list = NULL;
  345. faux_argv_t *argv = NULL;
  346. faux_argv_node_t *argv_iter = NULL;
  347. faux_argv_t *cur_argv = NULL; // Current argv
  348. const char *delimeter = "|";
  349. const char *arg = NULL;
  350. assert(raw_line);
  351. if (!raw_line)
  352. return NULL;
  353. // Split raw line to arguments
  354. argv = faux_argv_new();
  355. assert(argv);
  356. if (!argv)
  357. return NULL;
  358. if (faux_argv_parse(argv, raw_line) < 0) {
  359. faux_argv_free(argv);
  360. return NULL;
  361. }
  362. list = faux_list_new(FAUX_LIST_UNSORTED, FAUX_LIST_NONUNIQUE,
  363. NULL, NULL, (void (*)(void *))faux_argv_free);
  364. assert(list);
  365. if (!list) {
  366. faux_argv_free(argv);
  367. return NULL;
  368. }
  369. argv_iter = faux_argv_iter(argv);
  370. cur_argv = faux_argv_new();
  371. assert(cur_argv);
  372. while ((arg = faux_argv_each(&argv_iter))) {
  373. if (strcmp(arg, delimeter) == 0) {
  374. // End of current line (from "|" to "|")
  375. // '|' in a first position is an error
  376. if (faux_argv_len(cur_argv) == 0) {
  377. faux_argv_free(argv);
  378. faux_list_free(list);
  379. faux_error_sprintf(error, "The pipe '|' can't "
  380. "be at the first position");
  381. return NULL;
  382. }
  383. // Add argv to argv's list
  384. faux_list_add(list, cur_argv);
  385. cur_argv = faux_argv_new();
  386. assert(cur_argv);
  387. } else {
  388. faux_argv_add(cur_argv, arg);
  389. }
  390. }
  391. // Continuable flag is usefull for last argv
  392. faux_argv_set_continuable(cur_argv, faux_argv_is_continuable(argv));
  393. // Empty cur_argv is not an error. It's usefull for completion and help.
  394. // But empty cur_argv and continuable is abnormal.
  395. if ((faux_argv_len(cur_argv) == 0) &&
  396. faux_argv_is_continuable(cur_argv)) {
  397. faux_argv_free(argv);
  398. faux_list_free(list);
  399. faux_error_sprintf(error, "The pipe '|' can't "
  400. "be the last argument");
  401. return NULL;
  402. }
  403. faux_list_add(list, cur_argv);
  404. faux_argv_free(argv);
  405. return list;
  406. }
  407. // is_piped means full command contains more than one piped components
  408. static bool_t ksession_check_line(const kpargv_t *pargv, faux_error_t *error,
  409. bool_t is_first, bool_t is_piped)
  410. {
  411. kpargv_purpose_e purpose = KPURPOSE_EXEC;
  412. const kentry_t *cmd = NULL;
  413. if (!pargv)
  414. return BOOL_FALSE;
  415. purpose = kpargv_purpose(pargv);
  416. cmd = kpargv_command(pargv);
  417. // For execution pargv must be fully correct but for completion
  418. // it's not a case
  419. if ((KPURPOSE_EXEC == purpose) && (kpargv_status(pargv) != KPARSE_OK)) {
  420. faux_error_sprintf(error, "%s", kpargv_status_str(pargv));
  421. return BOOL_FALSE;
  422. }
  423. // Can't check following conditions without cmd
  424. if (!cmd)
  425. return BOOL_TRUE;
  426. // First component
  427. if (is_first) {
  428. // First component can't be filter
  429. if (kentry_filter(cmd)) {
  430. faux_error_sprintf(error, "The filter \"%s\" "
  431. "can't be used without previous pipeline",
  432. kentry_name(cmd));
  433. return BOOL_FALSE;
  434. }
  435. // Interactive command can't have filters
  436. if (kentry_interactive(cmd) && is_piped) {
  437. faux_error_sprintf(error, "The interactive command \"%s\" "
  438. "can't have filters",
  439. kentry_name(cmd));
  440. return BOOL_FALSE;
  441. }
  442. // Components after pipe "|"
  443. } else {
  444. // Only the first component can be non-filter
  445. if (!kentry_filter(cmd)) {
  446. faux_error_sprintf(error, "The non-filter command \"%s\" "
  447. "can't be destination of pipe",
  448. kentry_name(cmd));
  449. return BOOL_FALSE;
  450. }
  451. // Only the first component can have 'restore=true' attribute
  452. if (kentry_restore(cmd)) {
  453. faux_error_sprintf(error, "The command \"%s\" "
  454. "can't be destination of pipe",
  455. kentry_name(cmd));
  456. return BOOL_FALSE;
  457. }
  458. // Only the first component can have 'interactive=true' attribute
  459. if (kentry_interactive(cmd)) {
  460. faux_error_sprintf(error, "The filter \"%s\" "
  461. "can't be interactive",
  462. kentry_name(cmd));
  463. return BOOL_FALSE;
  464. }
  465. }
  466. return BOOL_TRUE;
  467. }
  468. // All components except last one must be legal for execution but last
  469. // component must be parsed for completion.
  470. // Completion is a "back-end" operation so it doesn't need detailed error
  471. // reporting.
  472. kpargv_t *ksession_parse_for_completion(ksession_t *session,
  473. const char *raw_line)
  474. {
  475. faux_list_t *split = NULL;
  476. faux_list_node_t *iter = NULL;
  477. kpargv_t *pargv = NULL;
  478. bool_t is_piped = BOOL_FALSE;
  479. assert(session);
  480. if (!session)
  481. return NULL;
  482. assert(raw_line);
  483. if (!raw_line)
  484. return NULL;
  485. // Split raw line (with '|') to components
  486. split = ksession_split_pipes(raw_line, NULL);
  487. if (!split || (faux_list_len(split) < 1)) {
  488. faux_list_free(split);
  489. return NULL;
  490. }
  491. is_piped = (faux_list_len(split) > 1);
  492. iter = faux_list_head(split);
  493. while (iter) {
  494. faux_argv_t *argv = (faux_argv_t *)faux_list_data(iter);
  495. bool_t is_last = (iter == faux_list_tail(split));
  496. bool_t is_first = (iter == faux_list_head(split));
  497. kpargv_purpose_e purpose = is_last ? KPURPOSE_COMPLETION : KPURPOSE_EXEC;
  498. pargv = ksession_parse_line(session, argv, purpose, !is_first);
  499. if (!ksession_check_line(pargv, NULL, is_first, is_piped)) {
  500. kpargv_free(pargv);
  501. pargv = NULL;
  502. break;
  503. }
  504. if (!is_last)
  505. kpargv_free(pargv);
  506. iter = faux_list_next_node(iter);
  507. }
  508. faux_list_free(split);
  509. return pargv;
  510. }
  511. kexec_t *ksession_parse_for_exec(ksession_t *session, const char *raw_line,
  512. faux_error_t *error)
  513. {
  514. faux_list_t *split = NULL;
  515. faux_list_node_t *iter = NULL;
  516. kpargv_t *pargv = NULL;
  517. kexec_t *exec = NULL;
  518. bool_t is_piped = BOOL_FALSE;
  519. assert(session);
  520. if (!session)
  521. return NULL;
  522. assert(raw_line);
  523. if (!raw_line)
  524. return NULL;
  525. // Split raw line (with '|') to components
  526. split = ksession_split_pipes(raw_line, error);
  527. if (!split || (faux_list_len(split) < 1)) {
  528. faux_list_free(split);
  529. return NULL;
  530. }
  531. is_piped = (faux_list_len(split) > 1);
  532. // Create exec list
  533. exec = kexec_new();
  534. assert(exec);
  535. if (!exec) {
  536. faux_list_free(split);
  537. return NULL;
  538. }
  539. iter = faux_list_head(split);
  540. while (iter) {
  541. faux_argv_t *argv = (faux_argv_t *)faux_list_data(iter);
  542. kcontext_t *context = NULL;
  543. bool_t is_first = (iter == faux_list_head(split));
  544. pargv = ksession_parse_line(session, argv, KPURPOSE_EXEC, !is_first);
  545. // All components must be ready for execution
  546. if (!ksession_check_line(pargv, error, is_first, is_piped)) {
  547. kpargv_free(pargv);
  548. kexec_free(exec);
  549. faux_list_free(split);
  550. return NULL;
  551. }
  552. // Fill the kexec_t
  553. context = kcontext_new(KCONTEXT_TYPE_ACTION);
  554. assert(context);
  555. kcontext_set_scheme(context, ksession_scheme(session));
  556. kcontext_set_pargv(context, pargv);
  557. // Context for ACTION execution contains session
  558. kcontext_set_session(context, session);
  559. kexec_add_contexts(exec, context);
  560. // Next component
  561. iter = faux_list_next_node(iter);
  562. }
  563. faux_list_free(split);
  564. return exec;
  565. }
  566. kexec_t *ksession_parse_for_local_exec(ksession_t *session,
  567. const kentry_t *entry, const kpargv_t *parent_pargv)
  568. {
  569. faux_argv_node_t *argv_iter = NULL;
  570. kpargv_t *pargv = NULL;
  571. kexec_t *exec = NULL;
  572. faux_argv_t *argv = NULL;
  573. kcontext_t *context = NULL;
  574. kpargv_status_e pstatus = KPARSE_NONE;
  575. const char *line = NULL; // TODO: Must be 'line' field of ENTRY
  576. assert(entry);
  577. if (!entry)
  578. return NULL;
  579. exec = kexec_new();
  580. assert(exec);
  581. argv = faux_argv_new();
  582. assert(argv);
  583. faux_argv_parse(argv, line);
  584. argv_iter = faux_argv_iter(argv);
  585. pargv = kpargv_new();
  586. assert(pargv);
  587. kpargv_set_continuable(pargv, faux_argv_is_continuable(argv));
  588. kpargv_set_purpose(pargv, KPURPOSE_EXEC);
  589. pstatus = ksession_parse_arg(session, entry, &argv_iter, pargv,
  590. BOOL_TRUE, BOOL_FALSE);
  591. // Parsing problems
  592. if ((pstatus != KPARSE_OK) || (argv_iter != NULL)) {
  593. kexec_free(exec);
  594. faux_argv_free(argv);
  595. kpargv_free(pargv);
  596. return NULL;
  597. }
  598. context = kcontext_new(KCONTEXT_TYPE_SERVICE_ACTION);
  599. assert(context);
  600. kcontext_set_scheme(context, ksession_scheme(session));
  601. kcontext_set_pargv(context, pargv);
  602. kcontext_set_parent_pargv(context, parent_pargv);
  603. kcontext_set_session(context, session);
  604. kexec_add_contexts(exec, context);
  605. faux_argv_free(argv);
  606. return exec;
  607. }
  608. static bool_t stop_loop_ev(faux_eloop_t *eloop, faux_eloop_type_e type,
  609. void *associated_data, void *user_data)
  610. {
  611. ksession_t *session = (ksession_t *)user_data;
  612. if (!session)
  613. return BOOL_FALSE;
  614. ksession_set_done(session, BOOL_TRUE); // Stop the whole session
  615. // Happy compiler
  616. eloop = eloop;
  617. type = type;
  618. associated_data = associated_data;
  619. return BOOL_FALSE; // Stop Event Loop
  620. }
  621. static bool_t get_stdout(kexec_t *exec)
  622. {
  623. ssize_t r = -1;
  624. faux_buf_t *faux_buf = NULL;
  625. void *linear_buf = NULL;
  626. int fd = -1;
  627. if (!exec)
  628. return BOOL_FALSE;
  629. fd = kexec_stdout(exec);
  630. assert(fd != -1);
  631. faux_buf = kexec_bufout(exec);
  632. assert(faux_buf);
  633. do {
  634. ssize_t really_readed = 0;
  635. ssize_t linear_len =
  636. faux_buf_dwrite_lock_easy(faux_buf, &linear_buf);
  637. // Non-blocked read. The fd became non-blocked while
  638. // kexec_prepare().
  639. r = read(fd, linear_buf, linear_len);
  640. if (r > 0)
  641. really_readed = r;
  642. faux_buf_dwrite_unlock_easy(faux_buf, really_readed);
  643. } while (r > 0);
  644. return BOOL_TRUE;
  645. }
  646. static bool_t action_terminated_ev(faux_eloop_t *eloop, faux_eloop_type_e type,
  647. void *associated_data, void *user_data)
  648. {
  649. int wstatus = 0;
  650. pid_t child_pid = -1;
  651. kexec_t *exec = (kexec_t *)user_data;
  652. if (!exec)
  653. return BOOL_FALSE;
  654. // Wait for any child process. Doesn't block.
  655. while ((child_pid = waitpid(-1, &wstatus, WNOHANG)) > 0)
  656. kexec_continue_command_execution(exec, child_pid, wstatus);
  657. // Check if kexec is done now
  658. if (kexec_done(exec)) {
  659. // May be buffer still contains data
  660. get_stdout(exec);
  661. return BOOL_FALSE; // To break a loop
  662. }
  663. // Happy compiler
  664. eloop = eloop;
  665. type = type;
  666. associated_data = associated_data;
  667. return BOOL_TRUE;
  668. }
  669. static bool_t action_stdout_ev(faux_eloop_t *eloop, faux_eloop_type_e type,
  670. void *associated_data, void *user_data)
  671. {
  672. kexec_t *exec = (kexec_t *)user_data;
  673. // Happy compiler
  674. eloop = eloop;
  675. type = type;
  676. associated_data = associated_data;
  677. return get_stdout(exec);
  678. }
  679. bool_t ksession_exec_locally(ksession_t *session, const kentry_t *entry,
  680. kpargv_t *parent_pargv, int *retcode, char **out)
  681. {
  682. kexec_t *exec = NULL;
  683. faux_eloop_t *eloop = NULL;
  684. faux_buf_t *buf = NULL;
  685. char *cstr = NULL;
  686. ssize_t len = 0;
  687. assert(entry);
  688. if (!entry)
  689. return BOOL_FALSE;
  690. // Parsing
  691. exec = ksession_parse_for_local_exec(session, entry, parent_pargv);
  692. if (!exec)
  693. return BOOL_FALSE;
  694. // Session status can be changed while parsing because it can execute
  695. // nested ksession_exec_locally() to check for PTYPEs, CONDitions etc.
  696. // So check for 'done' flag to propagate it.
  697. // NOTE: Don't interrupt single kexec_t. Let's it to complete.
  698. // if (ksession_done(session)) {
  699. // kexec_free(exec);
  700. // return BOOL_FALSE; // Because action is not completed
  701. // }
  702. // Execute kexec and then wait for completion using local Eloop
  703. if (!kexec_exec(exec)) {
  704. kexec_free(exec);
  705. return BOOL_FALSE; // Something went wrong
  706. }
  707. // If kexec contains only non-exec (for example dry-run) ACTIONs then
  708. // we don't need event loop and can return here.
  709. if (kexec_retcode(exec, retcode)) {
  710. kexec_free(exec);
  711. return BOOL_TRUE;
  712. }
  713. // Local service loop
  714. eloop = faux_eloop_new(NULL);
  715. faux_eloop_add_signal(eloop, SIGINT, stop_loop_ev, session);
  716. faux_eloop_add_signal(eloop, SIGTERM, stop_loop_ev, session);
  717. faux_eloop_add_signal(eloop, SIGQUIT, stop_loop_ev, session);
  718. faux_eloop_add_signal(eloop, SIGCHLD, action_terminated_ev, exec);
  719. faux_eloop_add_fd(eloop, kexec_stdout(exec), POLLIN,
  720. action_stdout_ev, exec);
  721. faux_eloop_loop(eloop);
  722. faux_eloop_free(eloop);
  723. kexec_retcode(exec, retcode);
  724. if (!out) {
  725. kexec_free(exec);
  726. return BOOL_TRUE;
  727. }
  728. buf = kexec_bufout(exec);
  729. if ((len = faux_buf_len(buf)) <= 0) {
  730. kexec_free(exec);
  731. return BOOL_TRUE;
  732. }
  733. cstr = faux_malloc(len + 1);
  734. faux_buf_read(buf, cstr, len);
  735. cstr[len] = '\0';
  736. *out = cstr;
  737. kexec_free(exec);
  738. return BOOL_TRUE;
  739. }