Changeset 9bfb74a in mainline for uspace/app/bdsh/tok.c

Timestamp:

2024-11-28T23:11:39Z (3 days ago)

Author:

GitHub <noreply@…>

Parents:

12dd36c (diff), 12f5a1be (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

git-author:

Manuele Conti <conti.manuele@…> (2024-11-28 23:11:39)

git-committer:

GitHub <noreply@…> (2024-11-28 23:11:39)

Message:

Merge 12f5a1be9347ae8a4c87b277c612c58c71f5f5fc into 12dd36c50ddb4a9f3ef61157afc0eaba800ce4ad

File:

• uspace/app/bdsh/tok.c (modified) (1 diff)

uspace/app/bdsh/tok.c

@@ -138 +138 @@
                                 return rc;
                         }
-                } else if (next_char == '\'') {
+                } else if (next_char == '<') {
+                        if (tok_pending_chars(tok)) {
+                                rc = tok_push_token(tok);
+                                if (rc != EOK) {
+                                        return rc;
+                                }
+                        }
+
+                        tok_start_token(tok, TOKTYPE_RDIN);
+
+                        rc = tok_push_char(tok, tok_get_char(tok));
+                        if (rc != EOK) {
+                                return rc;
+                        }
+
+                        rc = tok_push_token(tok);
+                        if (rc != EOK) {
+                                return rc;
+                        }
+                } else if (next_char == '>') {
+                        if (tok_pending_chars(tok)) {
+                                rc = tok_push_token(tok);
+                                if (rc != EOK) {
+                                        return rc;
+                                }
+                        }
+
+                        tok_start_token(tok, TOKTYPE_RDOU);
+
+                        rc = tok_push_char(tok, tok_get_char(tok));
+                        if (rc != EOK) {
+                                return rc;
+                        }
+
+                        rc = tok_push_token(tok);
+                        if (rc != EOK) {
+                                return rc;
+                        }
+                }  else if (next_char == '\'') {
                         /*
                          * A string starts with a quote (') and ends again with a quote.